Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

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.