print_qtype : hol_type -> unit
- SYNOPSIS
-
Prints a type with colon and surrounding quotes to standard output.
- DESCRIPTION
-
The call print_type ty prints the usual textual representation of the
type ty to the standard output, that is `:ty`.
- FAILURE CONDITIONS
-
Never fails.
- COMMENTS
-
This is the function that is invoked automatically in the toplevel when
printing types.
- SEE ALSO
-
pp_print_qtype, pp_print_type, print_type.