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_RepeatM	Def ml, easyparm Def ml_RepeatM{$Kind:t, $N:n} Def == if `$Kind`=`For` then RepeatMFor $N else RepeatM

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

ml_tok	Def ml, possible_ob_ref Def `$tok` == `$tok`

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

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)

ml_toko	Def ml, semi_puretext Def `s` == `s`

Syntax: ml_RepeatM{$Kind:t, $N:n} has structure: ml_RepeatM{$Kind:t,$N:n}

About:

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