Nuprl - Definition Cascade for ml_implode

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

	No other cites to report in EditorDoc

ml_implode_term	Def MLmacro Def IMP:T == edit_implode_all T

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

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

Syntax: IMP:T has structure: ml_implode_term(T)

About:

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