----------------------------------------------------------------------
term_to_string                                                 (Parse)
----------------------------------------------------------------------
Parse.term_to_string : term -> string

SYNOPSIS
Converts a term to a string.

KEYWORDS
Pretty-printing

LIBRARY
Parse

DESCRIBE
Uses the global term grammar and pretty-printing flags to turn a term
into a string.  It assumes that the string should be broken up as if
for display on a screen that is as wide as the value stored in the
{Globals.linewidth} variable.

FAILURE
Should never fail.

SEEALSO
Parse.print_term.

----------------------------------------------------------------------