IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def rcvtype(e) == 1of(2of(2of(2of(2of(es)))))(lnk(e),tag(e))
is mentioned
In prior sections:
mb event system 2
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
