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
Latex:
ci-fun(ci)  ==    let  dd,T,f  =  ci  in  f


Date html generated: 2016_05_16-AM-10_05_28
Last ObjectModification: 2013_03_25-PM-01_54_09

Theory : new!event-ordering


Home Index