---

cdvreccomb(typ;argtype;arg;fun) ==  inr inr inr inr <typ, argtype, arg, fun>    

---

Definitions :  inr: inr x ,  pair: <a, b>
FDL editor aliases :  cdvreccomb

---

cdvreccomb(typ;argtype;arg;fun)  ==    inr  inr  inr  inr  <typ,  argtype,  arg,  fun>       


Date html generated: 2010_08_27-PM-08_08_05
Last ObjectModification: 2010_06_18-PM-04_21_56

Home Index