PRINT_TERM_CONV : conv

SYNOPSIS: Prints the term to standard output.
DESCRIPTION: The conversion PRINT_TERM_CONV prints the current term to standard output.
FAILURE CONDITIONS: Never fails.
SEE ALSO: print_term, PRINT_GOAL_TAC, REMARK_TAC