pp_print_qterm : formatter -> term -> unit

SYNOPSIS
Prints a term with surrounding quotes to formatter.

DESCRIPTION
The call pp_print_term fmt tm prints the usual textual representation of the term tm to the formatter fmt, in the form `tm`. To print a term with colors, use pp_print_colored_qterm.

FAILURE CONDITIONS
Should never fail unless the formatter does.

COMMENTS
The usual case where the formatter is the standard output is print_qterm.

SEE ALSO
pp_print_colored_term, pp_print_colored_qterm, pp_print_term, print_qterm, print_term.