Parse.pp_term_without_overloads_on : string list -> term PP.pprinter
STRUCTURE
SYNOPSIS
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
FAILURE
Should never fail.
SEEALSO
HOL  Kananaskis-13