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?
Latex:
es-pred?(es;e)  ==    if  first(e)  then  inr  \mcdot{}    else  inl  pred(e)  fi 


Date html generated: 2016_05_16-AM-09_17_14
Last ObjectModification: 2013_03_26-PM-03_08_30

Theory : new!event-ordering


Home Index