No other cites to report in EditorDoc
ml_Newvar	Def MLmacro, semi_plain, iml_quote_list Def New:X == New (map dest_var (term_seq_to_list X))
ml_apply	Def ml, ml_apply Def a b == ((a)(b))
ml_parens	Def ml, slots_not_slots Def (a) == (a)

Syntax:

New:X

has structure:

ml_Newvar(X)

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