Nuprl Definition : class-at
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: {}
FDL editor aliases :
class-at
Latex:
X@locs == \mlambda{}es,e. if bag-deq-member(IdDeq;loc(e);locs) then X es e else \{\} fi
Date html generated:
2015_07_20-PM-03_33_53
Last ObjectModification:
2012_02_25-PM-01_49_43
Home
Index