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.