Def ma-single-sends1(A; B; T; x; a; l; tg; f)
Def == ma-single-sends(x : A;
Def == ma-single-sends(a : B  rcv(l; tg) : T;
Def == ma-single-sends(a;
Def == ma-single-sends(l;
Def == ma-single-sends([<tg,s,v. f(s(x),v)>])

is not otherwise mentioned in this or prior sections.

Try larger context: EventSystems IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html