---

st_class-kind(x) ==
  case(x)
  var(name)=>
  const(ty)=>
  domainrange =>rec1,rec2.
  fst  snd =>rec1,rec2.
  left + right =>rec1,rec2.
  kind list =>rec1.
  Class(kind) =>rec1.kind

---

Definitions occuring in Statement :  simple_type_ind: simple_type_ind,  it:
Definitions :  simple_type_ind: simple_type_ind,  it:
FDL editor aliases :  st_class-kind

---

st\_class-kind(x)  ==
    case(x)
    var(name)=>\mcdot{}
    const(ty)=>\mcdot{}
    domain{}\mrightarrow{}range  =>rec1,rec2.\mcdot{}
    fst  \mtimes{}  snd  =>rec1,rec2.\mcdot{}
    left  +  right  =>rec1,rec2.\mcdot{}
    kind  list  =>rec1.\mcdot{}
    Class(kind)  =>rec1.kind


Date html generated: 2011_08_17-PM-04_49_40
Last ObjectModification: 2011_02_06-PM-04_17_32

Home Index