X@locs == 
es,e.if bag-deq-member(IdDeq;loc(e);locs) then X es e else {} fi
Definitions occuring in Statement :
es-loc: loc(e),
id-deq: IdDeq,
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: x.A[x],
bag-deq-member: bag-deq-member(eq;x;b),
empty-bag: {}
Definitions :
lambda: x.A[x],
ifthenelse: if b then t else f fi ,
bag-deq-member: bag-deq-member(eq;x;b),
id-deq: IdDeq,
es-loc: loc(e),
apply: f a,
empty-bag: {}
FDL editor aliases :
class-at
X@locs == \mlambda{}es,e.if bag-deq-member(IdDeq;loc(e);locs) then X es e else \{\} fi
Date html generated:
2011_08_16-PM-04_29_02
Last ObjectModification:
2011_06_20-PM-01_32_17
Home
Index