---

ste_ap-fun(x) ==
  st_exp_ind(x)
  var(name)=>
  const(val)=>
  fun(arg)=>rec1,rec2.fun
  bound:type.body=>rec1.

---

Definitions occuring in Statement :  st_exp_ind: st_exp_ind,  it:
Definitions :  st_exp_ind: st_exp_ind,  it:
FDL editor aliases :  ste_ap-fun

---

ste\_ap-fun(x)  ==
    st\_exp\_ind(x)
    var(name)=>\mcdot{}
    const(val)=>\mcdot{}
    fun(arg)=>rec1,rec2.fun
    \mlambda{}bound:type.body=>rec1.\mcdot{}


Date html generated: 2011_08_17-PM-05_07_03
Last ObjectModification: 2011_02_04-PM-12_02_34

Home Index