string_of_term : term -> string
Converts a HOL term to a string representation.
The call string_of_term tm produces a textual representation of the term tm
as a string, similar to what is printed automatically at the toplevel, though
without the surrounding quotes.
- FAILURE CONDITIONS
# string_of_term `x + 1 < 2 <=> x = 0`;;
val it : string = "x + 1 < 2 <=> x = 0"
The string may contain newlines for large terms, broken in a similar fashion to
- SEE ALSO