is mentioned by

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)>])

[ma-single-sends1]

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