mb event system 3 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def outr(x) == InjCase(x; y. "???"; z. z)

is mentioned by

Def val(a) == 2of(outr(a))[w-val]
Def kind(a) == 1of(outr(a))[w-kind]

In prior sections: mb event system 2

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

mb event system 3 Sections EventSystems Doc