pp_print_qterm : formatter -> term -> unit
Prints a term with surrounding quotes to formatter.
The call pp_print_term fmt tm prints the usual textual representation of the
term tm to the formatter fmt, in the form `tm`.
- FAILURE CONDITIONS
Should never fail unless the formatter does.
The usual case where the formatter is the standard output is print_qterm.
- SEE ALSO
pp_print_term, print_qterm, print_term.