Nuprl Definition : cp-test

cp-test(cp;i) ==  let A,ks,typ,h,acc,init cp(i) in h



Definitions occuring in Statement :  fpf-ap: f(x) id-deq: IdDeq spreadn: spread6
FDL editor aliases :  cp-test
cp-test(cp;i)  ==    let  A,ks,typ,h,acc,init  =  cp(i)  in  h



Date html generated: 2015_07_17-AM-11_59_36
Last ObjectModification: 2013_03_27-AM-10_57_00

Home Index