Nuprl Definition : es-pred?
es-pred?(es;e) == if first(e) then inr ⋅ else inl pred(e) fi
Definitions occuring in Statement :
es-first: first(e),
es-pred: pred(e),
ifthenelse: if b then t else f fi ,
it: ⋅,
inr: inr x ,
inl: inl x
FDL editor aliases :
es-pred?
es-pred?
es-pred?(es;e) == if first(e) then inr \mcdot{} else inl pred(e) fi
Date html generated:
2015_07_17-AM-08_35_51
Last ObjectModification:
2013_03_26-PM-03_08_30
Home
Index