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