---

X(Z',e] ==
  X(if e  prior(Z)
  then filter(a.prior(Z)(e) <loc a;(X)(e))
  else (X)(e)
  fi )

---

Definitions :  eclass-vals: X(L),  ifthenelse: if b then t else f fi ,  in-eclass: e  X,  filter: filter(P;l),  lambda: x.A[x],  es-bless: e <loc e',  eclass-val: X(e),  es-prior-interface: prior(X),  es-interface-predecessors: (X)(e)
FDL editor aliases :  es-interface-vals-since

---

X(Z',e]  ==    X(if  e  \mmember{}\msubb{}  prior(Z)  then  filter(\mlambda{}a.prior(Z)(e)  <loc  a;\mleq{}(X)(e))  else  \mleq{}(X)(e)  fi  )


Date html generated: 2010_08_27-PM-02_36_23
Last ObjectModification: 2010_03_23-PM-01_34_11

Home Index