EditorDoc Sections Nuprl Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
abs[,rec]type <ml decls> with <ml decls> in <ml>
abs[,rec]type <ml decls> with <ml decls> ;;

<ml>  <ml> <ml decls>
and <ml decls>

<ml> [type op]
<ml>,<ml> [type op]
<ml>,<ml>,<ml> [type op]

<ml><ml> <ml>#<ml> <ml>+<ml> <ml> list IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

EditorDoc Sections Nuprl Doc