type_abbrevs : unit -> (string * hol_type) list
- SYNOPSIS
-
Lists all current type abbreviations.
- DESCRIPTION
-
The call type_abbrevs() returns a list of all current type abbreviations,
which are applied when parsing types but have no logical significance.
- FAILURE CONDITIONS
-
Never fails.
- SEE ALSO
-
new_type_abbrev, remove_type_abbrev.