---

RecClass(first e
           G[es; e]
         or next e after e' with value v
             F[es; e'; v; e]) ==
  Y 
  (es-rec-class,es,e.
    if e  prior(es-rec-class)
    then let e' = prior(es-rec-class)(e) in
             F[es; e'; es-rec-class(e'); e]
    else G[es; e]
    fi )

---

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

---

RecClass(first  e
                      G[es;  e]
                  or  next  e  after  e'  with  value  v
                          F[es;  e';  v;  e])  ==
    Y 
    (\mlambda{}es-rec-class,es,e.
        if  e  \mmember{}\msubb{}  prior(es-rec-class)
        then  let  e'  =  prior(es-rec-class)(e)  in
                          F[es;  e';  es-rec-class(e');  e]
        else  G[es;  e]
        fi  )


Date html generated: 2010_08_27-PM-02_32_23
Last ObjectModification: 2010_03_23-PM-12_18_45

Home Index