---

es-bc{i:l}(es;e;e') ==
  case TERMOF{decidable__es-causl:o, 1:l, i:l} es e e'
  of inl(x) => tt
   | inr(x) => ff

---

Definitions :  decide: case b of inl(x) => s[x] | inr(y) => t[y],  apply: f a,  decidable__es-causl,  btrue: tt,  bfalse: ff
FDL editor aliases :  es-bc

---

es-bc\{i:l\}(es;e;e')  ==
    case  TERMOF\{decidable\_\_es-causl:o,  1:l,  i:l\}  es  e  e'  of  inl(x)  =>  tt  |  inr(x)  =>  ff


Date html generated: 2010_08_27-AM-01_11_03
Last ObjectModification: 2009_12_28-PM-05_25_17

Home Index