---

esharp-base(env;x) ==
  case outl(apply-alist(AtomDeq;env;x))
  of inl(bd) => cdvbase(bd)
   | inr(z) => outr(z)

---

Definitions :  decide: case b of inl(x) => s[x] | inr(y) => t[y],  outl: outl(x),  apply-alist: apply-alist(eq;L;x),  atom-deq: AtomDeq,  cdvbase: cdvbase(args),  outr: outr(x)
FDL editor aliases :  esharp-base

---

esharp-base(env;x)  ==
    case  outl(apply-alist(AtomDeq;env;x))  of  inl(bd)  =>  cdvbase(bd)  |  inr(z)  =>  outr(z)


Date html generated: 2010_08_27-PM-08_16_25
Last ObjectModification: 2010_06_22-PM-02_11_33

Home Index