print_type : hol_type -> unit
- SYNOPSIS
-
Prints a type (without colon or quotes) to standard output.
- DESCRIPTION
-
The call print_type ty prints the usual textual representation of the
type ty to the standard output. The string is just ty not `:ty`.
- FAILURE CONDITIONS
-
Never fails.
- USES
-
Producing debugging output in complex rules. Note that terms are already
printed at the toplevel anyway, so it is not needed to examine results
interactively.
- SEE ALSO
-
pp_print_qtype, pp_print_type, print_qtype.