print_term

Parse.print_term : term -> unit

Prints a term to the screen (standard out).

The function print_term prints a term to the screen. It first converts the term into a string, and then outputs that string to the standard output stream.

The conversion to the string is done by term_to_string. The term is printed using the pretty-printing information contained in the global grammar.

Failure

Should never fail.

See also

Parse.term_to_string