esharp_exp() ==
rec(X.Atom + Base + Atom + fun:X 
X + var:Atom X + (lhs:E#Lhs rsh:X X))
Definitions occuring in Statement :
esharp-lhs: E#Lhs,
rec: rec(x.A[x]),
product: x:A B[x],
union: left + right,
base: Base,
atom: Atom
Definitions :
rec: rec(x.A[x]),
base: Base,
union: left + right,
atom: Atom,
esharp-lhs: E#Lhs,
product: x:A B[x]
FDL editor aliases :
esharp_exp
esharp\_exp() == rec(X.Atom + Base + Atom + fun:X \mtimes{} X + var:Atom \mtimes{} X + (lhs:E\#Lhs \mtimes{} rsh:X \mtimes{} X))
Date html generated:
2011_08_17-PM-05_11_48
Last ObjectModification:
2011_02_03-PM-04_32_21
Home
Index