No other cites to report in EditorDoc
ml_decl	Def ml Def a  b == a=(b)
ml_parens	Def ml, slots_not_slots Def (a) == (a)

Syntax:

a  b

has structure:

ml_decl(a; b)

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