| | No other cites to report in EditorDoc |
|
| buttonmldo | Def button, button_mldo, force_action, ml_string, MLmacro, semi_ml, words
Def $s
Def == (let thunk ()  ml in last_mlbutton_fn := ( t.thunk () ; t) ; thunk ()) |
|
| ml_theunit | Def ml
Def () == () |
|
| ml_apply | Def ml, ml_apply
Def a b == ((a)(b)) |
|
| ml_seq | Def ml, ml_seq
Def a ; b == ((a);(b)) |
|
| ml_lambda | Def ml, NoConds
Def a.b == (\a.(b)) |
|
| ml_assign | Def ml
Def a := b == ((a):=(b)) |
|
| ml_letin | Def ml, ml_let, nospaces
Def let$mod a b in c == let$mod a b in c |
|
| ml_decl | Def ml
Def a b == a=(b) |
|
| ml_letin_wrap | Def ml, nospaces
Def let$mod D in c == let$mod D in (c) |
|
| ml_parens | Def ml, slots_not_slots
Def (a) == (a) |
