Nuprl Definition : ping_Subs
ping_Subs(locs) == 
z,s.bag-map(l.<s, l>;locs)@|Loc, ping_Start()|
Definitions occuring in Statement :
ping_Start: ping_Start(),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
lambda: x.A[x],
pair: <a, b>,
bag-map: bag-map(f;bs)
FDL editor aliases :
ping_Subs
ping\_Subs(locs) == \mlambda{}z,s.bag-map(\mlambda{}l.<s, l>locs)@|Loc, ping\_Start()|
Date html generated:
2012_02_20-PM-06_19_16
Last ObjectModification:
2012_02_02-PM-02_45_28
Home
Index