Def MsgAForm
Def == x:Id fp-> Topx:Knd fp-> Typex:Id fp-> Topx:Id fp-> Top
Def == x:KndId fp-> Topx:KndIdLnk fp-> Topx:Id fp-> Topx:IdLnkId fp-> Top
Def == Top

is not otherwise mentioned in this or prior sections.

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