| | No other cites to report in EditorDoc |
|
| ml_use_subst_new | Def MLmacro, semi_plain, iml_quote_list, ml_use_subst_new
Def Use:{Us}[Ts] == Using subst:{Us}[Ts] |
|
| ml_subst_new | Def MLmacro, semi_plain, iml_quote_list
Def subst:{Us}[Ts] == ml_subst_new Tms:[Us] Tms:[Ts] |
|
| iml_quote_list | Def MLmacro, iml_quote_list, semi_plain, slots_not_slots
Def Tms:[TS] == term_seq_to_list_with `iml_quote_list_cat`,[]  TS |
|
| ml_apply | Def ml, ml_apply
Def a b == ((a)(b)) |
|
| ml_pair | Def ml
Def a,b == ((a),(b)) |
|
| ml_parens | Def ml, slots_not_slots
Def (a) == (a) |
|
| ml_nil | Def ml
Def [] == [] |
|
| ml_tok | Def ml, possible_ob_ref
Def `$tok` == `$tok` |
|
| ml_toko | Def ml, semi_puretext
Def `s` == `s` |
