---

E#Lhs ==  Atom  (Atom  type-expr) List  type-expr

---

Definitions occuring in Statement :  product: x:A  B[x],  list: type List,  atom: Atom
Definitions :  list: type List,  product: x:A  B[x],  atom: Atom,  type-expr: Error :type-expr
FDL editor aliases :  esharp-lhs

---

E\#Lhs  ==    Atom  \mtimes{}  (Atom  \mtimes{}  type-expr)  List  \mtimes{}  type-expr


Date html generated: 2011_08_17-PM-05_11_11
Last ObjectModification: 2011_02_03-PM-04_00_50

Home Index