Nuprl Definition : ping_main
ping_main(locs;p) == ping_P(locs)@{p} || ping_Reply()@locs
Definitions occuring in Statement :
ping_Reply: ping_Reply(),
ping_P: ping_P(locs),
class-at: X@locs,
parallel-class: X || Y,
single-bag: {x}
FDL editor aliases :
ping_main
ping\_main(locs;p) == ping\_P(locs)@\{p\} || ping\_Reply()@locs
Date html generated:
2012_02_20-PM-06_20_09
Last ObjectModification:
2012_02_02-PM-02_45_59
Home
Index