Nuprl - Definition Cascade for ml

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

	No other cites to report in EditorDoc

ml_if	Def ml Def if a then b else c == if a then b else c

ml_test	Def ml Def if a $then b $else c == if (a) $then (b) $else c

ml_parens	Def ml, slots_not_slots Def (a) == (a)

Syntax: if a then b else c has structure: ml_if(a; b; c)

About:

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