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.