Parse.print_term : term -> unit
STRUCTURE
SYNOPSIS
Prints a term to the screen (standard out).
LIBRARY
Parse
DESCRIPTION
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.
SEEALSO
HOL  Trindemossen-1