Parse.print_term_without_overloads_on : string list -> term -> unit
STRUCTURE
Parse
SYNOPSIS
Prints a term to the screen (standard out), without using overload mappings of certain tokens.
LIBRARY
Parse
DESCRIPTION
The call print_term_without_overloads_on ls t prints t to the screen without using any overloads on tokens in ls.
EXAMPLE
 > val _ = print_term_without_overloads_on ["+"] ``x + y`` before print "\n";
 arithmetic$+ x y
 >
FAILURE
Should never fail.
SEEALSO
print_backend_term_without_overloads_on, print_term_without_overloads, term_without_overloads_on_to_string, clear_overloads_on, print_term
HOL  Kananaskis-8