---

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

---

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

---

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


Date html generated: 2011_08_17-PM-05_07_56
Last ObjectModification: 2011_02_04-PM-12_04_13

Home Index