Parse.term_without_overloads_on_to_backend

Parse.term_without_overloads_on_to_backend_string : string list -> term -> string

STRUCTURE: Parse
SYNOPSIS: Returns a string, suitable for the current backend, that represents a term without using overload mappings of certain tokens.
LIBRARY: Parse
DESCRIPTION: The call term_without_overloads_on_to_backend_string ls t returns a current-backend suitable string representation of t without using any overloads on tokens in ls.
If the current backend is a color-capable terminal, for example, the string will include escape codes for coloring free and bound variables.
FAILURE: Should never fail.
SEEALSO: term_without_overloads_on_to_string, term_without_overloads_to_backend_string, pp_term_without_overloads_on, clear_overloads_on, term_to_backend_string

HOL Kananaskis-8