---

cp-kinds(cp) ==  i.let A,ks,typ,h,acc,init = cp(i) in ks

---

Definitions :  lambda: x.A[x],  spreadn: spread6,  fpf-ap: f(x),  id-deq: IdDeq
FDL editor aliases :  cp-kinds

---

cp-kinds(cp)  ==    \mlambda{}i.let  A,ks,typ,h,acc,init  =  cp(i)  in  ks


Date html generated: 2010_08_27-AM-09_35_43
Last ObjectModification: 2009_12_16-AM-01_26_58

Home Index