st_exp{i:l}() ==
rec(X.Atom + st-constant{i:l} + fun:X
X + (bound:Atom type:SimpleType X))
Definitions occuring in Statement :
simple_type: SimpleType,
rec: rec(x.A[x]),
product: x:A B[x],
union: left + right,
atom: Atom
Definitions :
rec: rec(x.A[x]),
st-constant: st-constant{i:l}(Info),
union: left + right,
atom: Atom,
product: x:A B[x],
simple_type: Error :simple_type
FDL editor aliases :
st_exp
st\_exp\{i:l\}() == rec(X.Atom + st-constant\{i:l\} + fun:X \mtimes{} X + (bound:Atom \mtimes{} type:SimpleType \mtimes{} X))
Date html generated:
2011_08_17-PM-05_01_21
Last ObjectModification:
2011_02_04-AM-11_56_09
Home
Index