the_interface : (string * (string * hol_type)) list ref

SYNOPSIS: List of active interface mappings.
DESCRIPTION: HOL Light allows the same identifier to map to one or more underlying constants using an overloading mechanism with resolution based on type. The reference variable the_interface stores the current list of all interface mappings.
SEE ALSO: make_overloadable, overload_interface, override_interface, prioritize_overload, reduce_interface, remove_interface, the_implicit_types, the_overload_skeletons.