---

data(T) ==  x:Id  (T x)

---

Definitions :  apply: f a,  Id: Id,  product: x:A  B[x]
FDL editor aliases :  data

---

data(T)  ==    x:Id  \mtimes{}  (T  x)


Date html generated: 2010_08_27-AM-09_33_48
Last ObjectModification: 2010_07_08-PM-11_46_57

Home Index