Nuprl Definition : es-opt-prior-val
X'(e)?d == if e ∈b prior(X) then X(prior(X)(e)) else d fi
Definitions occuring in Statement :
es-prior-interface: prior(X)
,
eclass-val: X(e)
,
in-eclass: e ∈b X
,
ifthenelse: if b then t else f fi
FDL editor aliases :
es-opt-prior-val
Latex:
X'(e)?d == if e \mmember{}\msubb{} prior(X) then X(prior(X)(e)) else d fi
Date html generated:
2015_07_21-PM-03_24_19
Last ObjectModification:
2012_02_25-PM-02_23_22
Home
Index