Parse.pp_term_without_overloads_on :
         string list -> Portable.ppstream -> term -> unit
STRUCTURE
Parse
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: ppstream -> term -> unit
 > val _ = Portable.pprint termpp ``x + y`` before print"\n";
 arithmetic$+ x y
 >
FAILURE
Should never fail.
SEEALSO
pp_term_without_overloads, print_term_without_overloads_on, term_without_overloads_on_to_string, print_from_grammars
HOL  Kananaskis-10