print_term : term -> unit
Prints a HOL term (without quotes) to the standard output.
The call print_term tm prints the usual textual representation of the
term tm to the standard output. The string is just tm not `tm`.
- FAILURE CONDITIONS
Producing debugging output in complex rules. Note that terms are already
printed at the toplevel anyway, so it is not needed to examine results
- SEE ALSO
pp_print_qterm, pp_print_term, print_qterm.