E == {e:es."E"| 
(es."dom" e)}
Definitions occuring in Statement :
assert: b,
set: {x:A| B[x]} ,
apply: f a,
token: "$token",
record-select: r.x
Definitions :
set: {x:A| B[x]} ,
assert: b,
apply: f a,
record-select: r.x,
token: "$token"
FDL editor aliases :
es-E
E == \{e:es."E"| \muparrow{}(es."dom" e)\}
Date html generated:
2011_08_16-AM-10_20_26
Last ObjectModification:
2010_11_22-PM-02_32_34
Home
Index