---

st-kind(st) ==
  case(st)
  var(v)=>0
  const(t)=>1
  ab =>ra,rb.2
  a  b =>ra,rb.3
  a + b =>ra,rb.4
  a list =>ra.5
  Class(a) =>ra.6

---

Definitions occuring in Statement :  simple_type_ind: simple_type_ind,  natural_number: $n
Definitions :  simple_type_ind: simple_type_ind,  natural_number: $n
FDL editor aliases :  st-kind

---

st-kind(st)  ==
    case(st)
    var(v)=ɬ
    const(t)=ɭ
    a{}\mrightarrow{}b  =>ra,rb.2
    a  \mtimes{}  b  =>ra,rb.3
    a  +  b  =>ra,rb.4
    a  list  =>ra.5
    Class(a)  =>ra.6


Date html generated: 2011_08_17-PM-04_58_48
Last ObjectModification: 2011_02_06-PM-10_02_56

Home Index