---

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

---

Definitions occuring in Statement :  simple_type_ind: simple_type_ind,  it:
Definitions :  simple_type_ind: simple_type_ind,  it:
FDL editor aliases :  st_prod-fst

---

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


Date html generated: 2011_08_17-PM-04_46_42
Last ObjectModification: 2011_02_06-PM-04_13_05

Home Index