---

ste_const(val) ==  inr (inl val ) 

---

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

---

ste\_const(val)  ==    inr  (inl  val  ) 


Date html generated: 2011_08_17-PM-05_02_02
Last ObjectModification: 2011_02_04-AM-11_55_04

Home Index