Nuprl Definition : ping_P
ping_P(locs) == ping_Subs(locs) >z> ping_Handler() z
Definitions occuring in Statement :
ping_Subs: ping_Subs(locs),
ping_Handler: ping_Handler(),
bind-class: X >x> Y[x],
apply: f a
FDL editor aliases :
ping_P
ping\_P(locs) == ping\_Subs(locs) >z> ping\_Handler() z
Date html generated:
2012_02_20-PM-06_19_32
Last ObjectModification:
2012_02_02-PM-02_45_38
Home
Index