Def send-once(loc;T;A;a;f;tg;l;x)
Def == [(once(loc;a;source(l))); 
Def == [if loc = source(l)
Def == [if ma-single-sends1(A; Unit; T; x; locl(a); l; tg; (a,b. [(f(a))]))
Def == [else  fi]

is mentioned

In prior sections: mb event system 7

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html