general-base-class(locs;f) ==
es,e.if deq-member(IdDeq;loc(e);locs) then f loc(e) info(e) else {} fi
Definitions occuring in Statement :
es-info: info(e),
es-loc: loc(e),
id-deq: IdDeq,
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: x.A[x],
deq-member: deq-member(eq;x;L),
empty-bag: {}
Definitions :
lambda: x.A[x],
ifthenelse: if b then t else f fi ,
deq-member: deq-member(eq;x;L),
id-deq: IdDeq,
apply: f a,
es-loc: loc(e),
es-info: info(e),
empty-bag: {}
FDL editor aliases :
general-base-class
general-base-class(locs;f) ==
\mlambda{}es,e.if deq-member(IdDeq;loc(e);locs) then f loc(e) info(e) else \{\} fi
Date html generated:
2011_08_17-PM-04_16_32
Last ObjectModification:
2011_03_22-AM-11_48_50
Home
Index