Nuprl Definition : ci-fun

ci-fun(ci) ==  let dd,T,f = ci in f


Definitions occuring in Statement :  spreadn: spread3
FDL editor aliases :  ci-fun ci-fun
ci-fun(ci)  ==    let  dd,T,f  =  ci  in  f


Date html generated: 2015_07_17-AM-08_57_53
Last ObjectModification: 2013_03_25-PM-01_54_09

Home Index