The call pp_print_term fmt tm prints the usual textual representation of the
term tm to the formatter fmt. The string is just tm not `tm`.
To print a term with colors, use pp_print_colored_term.
FAILURE CONDITIONS
Should never fail unless the formatter does.
COMMENTS
The usual case where the formatter is the standard output is print_term.