loc:Id, T,A:Type, a:Id, f:(AT), tg:Id, l:IdLnk, x:Id.
  "done" = x  A  T  (A,Bsend-once(loc;T;A;a;f;tg;l;x).A ||+ B)

None

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