Nuprl Definition : ping_cout
ping_cout() == 
s,loc,z,l.if IdDeq l loc then {ping_out() s l} else {} fi
Definitions occuring in Statement :
ping_out: ping_out(),
id-deq: IdDeq,
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: x.A[x],
single-bag: {x},
empty-bag: {}
FDL editor aliases :
ping_cout
ping\_cout() == \mlambda{}s,loc,z,l.if IdDeq l loc then \{ping\_out() s l\} else \{\} fi
Date html generated:
2012_02_20-PM-06_18_47
Last ObjectModification:
2012_02_02-PM-02_45_11
Home
Index