pp_print_type : formatter -> hol_type -> unit

SYNOPSIS: Prints a type (without colon or quotes) to formatter.
DESCRIPTION: The call pp_print_type fmt ty prints the usual textual representation of the type ty to the formatter fmt. The string is just ty not `:ty`.
FAILURE CONDITIONS: Should never fail unless the formatter does.
COMMENTS: The usual case where the formatter is the standard output is print_type.
SEE ALSO: pp_print_qtype, print_qtype, print_type.