---

pi-example(x;y;z;v) ==  ((new x. (x<z>.0 | x?(y).y<x>.x?(y).0)) | z?(v).v<v>.0)

---

Definitions :  pinew: Error :pinew,  pipar: Error :pipar,  pircv: Error :pircv,  picomm: Error :picomm,  pisend: Error :pisend,  pizero: Error :pizero
FDL editor aliases :  pi-example

---

pi-example(x;y;z;v)  ==    ((new  x.  (x<z>.0  |  x?(y).y<x>.x?(y).0))  |  z?(v).v<v>.0)


Date html generated: 2010_08_27-PM-08_39_56
Last ObjectModification: 2010_02_05-PM-05_55_15

Home Index