Nuprl Definition : class-opt
X?b == 
es,e.if bag-null(X es e) then b loc(e) else X es e fi
Proof not projected
Definitions occuring in Statement :
es-loc: loc(e),
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: x.A[x],
bag-null: bag-null(bs)
FDL editor aliases :
class-opt
X?b == \mlambda{}es,e.if bag-null(X es e) then b loc(e) else X es e fi
Date html generated:
2011_10_20-PM-03_23_10
Last ObjectModification:
2011_08_17-PM-06_16_15
Home
Index