---

X(e) ==
  Y 
  (es-interface-prior-vals,e.
    (if e  X then [X(e)] else [] fi 
    @ if first(e) then [] else es-interface-prior-vals pred(e) fi )) 
  e

---

Definitions :  ycomb: Y,  lambda: x.A[x],  append: as @ bs,  in-eclass: e  X,  cons: [car / cdr],  eclass-val: X(e),  ifthenelse: if b then t else f fi ,  es-first: first(e),  nil: [],  apply: f a,  es-pred: pred(e)
FDL editor aliases :  es-interface-prior-vals

---

X(\mleq{}e)  ==
    Y 
    (\mlambda{}es-interface-prior-vals,e.
        (if  e  \mmember{}\msubb{}  X  then  [X(e)]  else  []  fi 
        @  if  first(e)  then  []  else  es-interface-prior-vals  pred(e)  fi  )) 
    e


Date html generated: 2010_08_27-PM-02_24_06
Last ObjectModification: 2010_01_26-PM-06_05_24

Home Index