Nuprl Definition : es-interface-local-state
local-state(f;base;X;e) == if e ∈b X then f prior-state(f;base;X;e) X(e) else prior-state(f;base;X;e) fi
Definitions occuring in Statement :
es-local-prior-state: prior-state(f;base;X;e),
eclass-val: X(e),
in-eclass: e ∈b X,
ifthenelse: if b then t else f fi ,
apply: f a
FDL editor aliases :
es-interface-local-state
Latex:
local-state(f;base;X;e) ==
if e \mmember{}\msubb{} X then f prior-state(f;base;X;e) X(e) else prior-state(f;base;X;e) fi
Date html generated:
2015_07_21-PM-03_42_36
Last ObjectModification:
2012_02_25-PM-02_43_31
Home
Index