loc:Id, R:(Id), uid:(|R|), out,in:(|R|IdLnk).
  ring(R;in;out)
  
  Inj(|R|; ; uid)  (A,Bring-leader1(loc;R;uid;out;in).A ||+ B)

None

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