Nuprl - Definition Cascade for ml_apply_arg

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

	No other cites to report in EditorDoc

ml_apply_arg_notate	Def ml Def f Def $com: a Def == f a {$com }

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

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

Syntax: f
$com: a has structure: ml_apply_arg_notate{$com:s}(f; a)

About:

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