---

st-vars(st) ==
  case(st)
  var(v)=>[v]
  const(t)=>[]
  ab =>ra,rb.ra  rb
  a  b =>ra,rb.ra  rb
  a + b =>ra,rb.ra  rb
  a list =>ra.ra
  Class(a) =>ra.ra

---

Definitions occuring in Statement :  simple_type_ind: simple_type_ind,  cons: [car / cdr],  nil: [],  l-union: as  bs,  atom-deq: AtomDeq
Definitions :  simple_type_ind: simple_type_ind,  cons: [car / cdr],  nil: [],  l-union: as  bs,  atom-deq: AtomDeq
FDL editor aliases :  st-vars

---

st-vars(st)  ==
    case(st)
    var(v)=>[v]
    const(t)=>[]
    a{}\mrightarrow{}b  =>ra,rb.ra  \mcup{}  rb
    a  \mtimes{}  b  =>ra,rb.ra  \mcup{}  rb
    a  +  b  =>ra,rb.ra  \mcup{}  rb
    a  list  =>ra.ra
    Class(a)  =>ra.ra


Date html generated: 2011_08_17-PM-04_53_11
Last ObjectModification: 2011_02_06-PM-06_50_42

Home Index