Definitions EditorDoc Sections Nuprl Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
No other cites to report in EditorDoc
ml_do_unopDef ml
Def do X == (do (X))
ml_parensDef ml, slots_not_slots
Def (a) == (a)

Syntax:do X has structure: ml_do_unop(X)

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

Definitions EditorDoc Sections Nuprl Doc