pp_term_without_overloads_on
Parse.pp_term_without_overloads_on : string list -> term PP.pprinter
Printing function for terms without using overload mappings of certain tokens.
The call pp_term_without_overloads_on ls returns a printing function
to print terms without using any overload mappings of the tokens in
ls, using the system's standard pretty-printing stream type.
Example
> val termpp = pp_term_without_overloads_on ["+"];
val termpp = fn: term Parse.pprinter
> val _ = Portable.pprint termpp ``x + y`` ;
arithmetic$+ x y
val it = (): unit
Failure
Should never fail.
See also
Parse.pp_term_without_overloads,
Parse.print_term_without_overloads_on,
Parse.term_without_overloads_on_to_string,
Parse.print_from_grammars