No other cites to report in EditorDoc
ml_lambda	Def ml, NoConds Def a.b == (\a.(b))
ml_parens	Def ml, slots_not_slots Def (a) == (a)

Syntax:

a.b

has structure:

ml_lambda(a; b)

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