---

ste-freevars(ste) ==
  st_exp_ind(ste)
  var(v)=>[v]
  const(b)=>[]
  f(a)=>rf,ra.rf  ra
  x:st.b=>rb.list-diff(AtomDeq;rb;[x])

---

Definitions occuring in Statement :  st_exp_ind: st_exp_ind,  cons: [car / cdr],  nil: [],  list-diff: list-diff(eq;as;bs),  l-union: as  bs,  atom-deq: AtomDeq
Definitions :  st_exp_ind: st_exp_ind,  l-union: as  bs,  list-diff: list-diff(eq;as;bs),  atom-deq: AtomDeq,  cons: [car / cdr],  nil: []
FDL editor aliases :  ste-freevars

---

ste-freevars(ste)  ==
    st\_exp\_ind(ste)
    var(v)=>[v]
    const(b)=>[]
    f(a)=>rf,ra.rf  \mcup{}  ra
    \mlambda{}x:st.b=>rb.list-diff(AtomDeq;rb;[x])


Date html generated: 2011_08_17-PM-05_09_00
Last ObjectModification: 2011_02_04-PM-10_51_18

Home Index