---

expapply?(x) ==
  case(x)
  leaf(val) => ff
  pair(fst,snd) => rec1,rec2.ff
  fun(arg) => rec1.tt

---

Definitions :  expression_ind: expression_ind,  bfalse: ff,  btrue: tt
FDL editor aliases :  expapply?

---

expapply?(x)  ==    case(x)leaf(val)  =>  ffpair(fst,snd)  =>  rec1,rec2.fffun(arg)  =>  rec1.tt


Date html generated: 2010_08_27-PM-08_21_56
Last ObjectModification: 2010_06_22-PM-01_02_30

Home Index