Printing function for terms without using overload mappings of certain tokens.
LIBRARY
Parse
DESCRIPTION
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