Nuprl Definition : es-interface-val?

X(e)?v ==  if e ∈b X then X(e) else v fi 


Definitions occuring in Statement :  eclass-val: X(e),  in-eclass: e ∈b X,  ifthenelse: if b then t else f fi 
FDL editor aliases :  es-interface-val?
Latex:
X(e)?v  ==    if  e  \mmember{}\msubb{}  X  then  X(e)  else  v  fi 


Date html generated: 2016_05_16-PM-10_23_01
Last ObjectModification: 2012_02_25-PM-01_34_56

Theory : event-ordering


Home Index