Parse.term_without_overloads_on_to_string : string list -> term -> string
STRUCTURE
Parse
SYNOPSIS
Returns a string representing a term, without using overload mappings of certain tokens.
LIBRARY
Parse
DESCRIPTION
The call term_without_overloads_on_to_string ls t returns a string representation of t without using any overloads on tokens in ls.
EXAMPLE
 > term_without_overloads_on_to_string ["+"] ``x + y``;
 val it = "arithmetic$+ x y": string
FAILURE
Should never fail.
SEEALSO
term_without_overloads_on_to_backend_string, term_without_overloads_to_string, pp_term_without_overloads_on, clear_overloads_on, term_to_string
HOL  Kananaskis-8