---

prior-state(f;base;X;e) ==
  Y 
  (es-local-prior-state,e.
    if e  prior(X)
    then f (es-local-prior-state prior(X)(e)) X(prior(X)(e))
    else base
    fi ) 
  e

---

Definitions :  ycomb: Y,  lambda: x.A[x],  ifthenelse: if b then t else f fi ,  in-eclass: e  X,  apply: f a,  eclass-val: X(e),  es-prior-interface: prior(X)
FDL editor aliases :  es-local-prior-state

---

prior-state(f;base;X;e)  ==
    Y 
    (\mlambda{}es-local-prior-state,e.
        if  e  \mmember{}\msubb{}  prior(X)  then  f  (es-local-prior-state  prior(X)(e))  X(prior(X)(e))  else  base  fi  ) 
    e


Date html generated: 2010_08_27-PM-03_07_09
Last ObjectModification: 2010_03_31-PM-01_48_51

Home Index