Parse.term_to_string : term -> string
STRUCTURE
SYNOPSIS
Converts a term to a string.
LIBRARY
Parse
DESCRIPTION
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
HOL  Trindemossen-1