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_doif	Def ml Def if a thendo b == if a then do b else ()

ml_theunit	Def ml Def () == ()

ml_do_unop	Def ml Def do X == (do (X))

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 thendo b has structure: ml_doif(a; b)

About:

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