Nuprl Definition : ping_Handler
ping_Handler() ==
z.let s,loc = z
in send-once-loc-class(l.{ping_ping() loc l}) || ping_cout() s loc@|Loc, ping_Pong()|
Definitions occuring in Statement :
ping_cout: ping_cout(),
ping_Pong: ping_Pong(),
ping_ping: ping_ping(),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
send-once-loc-class: send-once-loc-class(b),
parallel-class: X || Y,
apply: f a,
lambda: x.A[x],
spread: spread def,
single-bag: {x}
FDL editor aliases :
ping_Handler
ping\_Handler() ==
\mlambda{}z.let s,loc = z
in send-once-loc-class(\mlambda{}l.\{ping\_ping() loc l\}) || ping\_cout() s loc@|Loc, ping\_Pong()|
Date html generated:
2012_02_20-PM-06_19_00
Last ObjectModification:
2012_02_02-PM-02_45_17
Home
Index