---

ste_var-name(x) ==
  st_exp_ind(x)
  var(name)=>name
  const(val)=>
  fun(arg)=>rec1,rec2.
  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_var-name

---

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


Date html generated: 2011_08_17-PM-05_05_42
Last ObjectModification: 2011_02_04-PM-12_00_23

Home Index