---

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

---

Definitions :  expression_ind: expression_ind,  it:
FDL editor aliases :  expapply-arg

---

expapply-arg(x)  ==    case(x)leaf(val)  =>  \mcdot{}pair(fst,snd)  =>  rec1,rec2.\mcdot{}fun(arg)  =>  rec1.arg


Date html generated: 2010_08_27-PM-08_22_03
Last ObjectModification: 2010_06_22-PM-01_03_23

Home Index