Nuprl - Definition Cascade for ml_letin

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

	No other cites to report in EditorDoc

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 D in c has structure: ml_let_wrap{$mod:s,in:s}(D; c)

About:

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