---

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

---

Definitions occuring in Statement :  st_exp_ind: st_exp_ind,  it:
Definitions :  st_exp_ind: st_exp_ind,  it:
FDL editor aliases :  ste_lambda-body

---

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


Date html generated: 2011_08_17-PM-05_08_39
Last ObjectModification: 2011_02_04-PM-12_05_20

Home Index