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_scat	Def MLmacro Def a^^b == concatenate_strings [a;b]

ml_nil	Def ml Def [] == []

ml_cons	Def ml, ml_cons Def a.b == ((a).(b))

ml_apply	Def ml, ml_apply Def a b == ((a)(b))

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

Syntax: a^^b has structure: ml_scat(a; b)

About:

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