BaseClass(h;T)@locs ==
es,e.if deq-member(IdDeq;loc(e);locs) then BaseClass(h;T) es e else {} fi
Definitions occuring in Statement :
baseclass: BaseClass(h;T),
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,
es-loc: loc(e),
apply: f a,
baseclass: BaseClass(h;T),
empty-bag: {}
FDL editor aliases :
restricted-baseclass
BaseClass(h;T)@locs == \mlambda{}es,e.if deq-member(IdDeq;loc(e);locs) then BaseClass(h;T) es e else \{\} fi
Date html generated:
2011_08_17-PM-04_14_59
Last ObjectModification:
2011_01_28-PM-11_47_44
Home
Index