---

esharp-base-wf(env;x) ==
  case apply-alist(AtomDeq;env;x)
  of inl(found) => case found
                   of inl(bd) => tt
                    | inr(z) => case z of inl(comb) => ff | inr(dv) => tt
   | inr(z) => ff

---

Definitions :  apply-alist: apply-alist(eq;L;x),  atom-deq: AtomDeq,  decide: case b of inl(x) => s[x] | inr(y) => t[y],  btrue: tt,  bfalse: ff
FDL editor aliases :  esharp-base-wf

---

esharp-base-wf(env;x)  ==
    case  apply-alist(AtomDeq;env;x)
    of  inl(found)  =>  case  found  of  inl(bd)  =>  tt  |  inr(z)  =>  case  z  of  inl(comb)  =>  ff  |  inr(dv)  =>  tt
      |  inr(z)  =>  ff


Date html generated: 2010_08_27-PM-08_16_21
Last ObjectModification: 2010_06_22-PM-02_09_12

Home Index