Nuprl Definition : class-opt
X?b == λes,e. if bag-null(X es e) then b loc(e) else X es e fi
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
Latex:
X?b == \mlambda{}es,e. if bag-null(X es e) then b loc(e) else X es e fi
Date html generated:
2015_07_21-PM-02_41_38
Last ObjectModification:
2012_02_25-PM-02_03_07
Home
Index