---

st-meaning-aux{i:l}(Info;st;rho) ==
  case(st)
  var(v)=>rho v
  const(t)=>t
  ab =>ra,rb.ra  rb
  a  b =>ra,rb.ra  rb
  a + b =>ra,rb.ra + rb
  a list =>ra.ra List
  Class(a) =>ra.EClass(ra)

---

Definitions occuring in Statement :  simple_type_ind: simple_type_ind,  eclass: EClass(A[eo; e]),  apply: f a,  function: x:A  B[x],  product: x:A  B[x],  union: left + right,  list: type List
Definitions :  simple_type_ind: simple_type_ind,  apply: f a,  function: x:A  B[x],  product: x:A  B[x],  union: left + right,  list: type List,  eclass: EClass(A[eo; e])
FDL editor aliases :  st-meaning-aux

---

st-meaning-aux\{i:l\}(Info;st;rho)  ==
    case(st)
    var(v)=>rho  v
    const(t)=>t
    a{}\mrightarrow{}b  =>ra,rb.ra  {}\mrightarrow{}  rb
    a  \mtimes{}  b  =>ra,rb.ra  \mtimes{}  rb
    a  +  b  =>ra,rb.ra  +  rb
    a  list  =>ra.ra  List
    Class(a)  =>ra.EClass(ra)


Date html generated: 2011_08_17-PM-04_51_11
Last ObjectModification: 2011_02_06-PM-05_12_47

Home Index