Parse.clear_prefs_for_term : string -> unit
- Term`p => q | r`; <<HOL message: inventing new type variable names: 'a.>> > val it = `(if p then q else r)` : termIf clear_prefs_for_term is applied, neither syntax will print:
- clear_prefs_for_term "COND"; > val it = () : unit - Term`p => q | r`; <<HOL message: inventing new type variable names: 'a.>> > val it = `COND p q r` : term