---

E#Program ==  E#Env  (E#Rule List)

---

Definitions :  product: x:A  B[x],  esharp-env: E#Env,  list: type List,  esharp-rule: E#Rule
FDL editor aliases :  esharp-program

---

E\#Program  ==    E\#Env  \mtimes{}  (E\#Rule  List)


Date html generated: 2010_08_27-PM-08_22_55
Last ObjectModification: 2010_06_23-AM-12_57_27

Home Index