---

st_const(ty) ==  inr (inl ty ) 

---

Definitions occuring in Statement :  inr: inr x ,  inl: inl x 
Definitions :  inr: inr x ,  inl: inl x 
FDL editor aliases :  st_const

---

st\_const(ty)  ==    inr  (inl  ty  ) 


Date html generated: 2011_08_17-PM-04_39_59
Last ObjectModification: 2011_02_06-PM-04_00_16

Home Index