---

ste_ap(fun;arg) ==  inr inr (inl <fun, arg> )  

---

Definitions occuring in Statement :  pair: <a, b>,  inr: inr x ,  inl: inl x 
Definitions :  inr: inr x ,  inl: inl x ,  pair: <a, b>
FDL editor aliases :  ste_ap

---

ste\_ap(fun;arg)  ==    inr  inr  (inl  <fun,  arg>  )   


Date html generated: 2011_08_17-PM-05_02_24
Last ObjectModification: 2011_02_04-AM-11_55_29

Home Index