No other cites to report in EditorDoc
ml_letin	Def ml, ml_let, nospaces Def let$mod a  b in c == let$mod a  b in c
ml_decl	Def ml Def a  b == a=(b)
ml_letin_wrap	Def ml, nospaces Def let$mod D in c == let$mod D in (c)
ml_parens	Def ml, slots_not_slots Def (a) == (a)

Syntax:

let$mod a  b in c

has structure:

ml_let{$mod:s,in:s}(a; b; c)

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