int_to_string : int -> string
STRUCTURE
SYNOPSIS
Translates an integer into a string.
DESCRIPTION
An application int_to_string i returns the printable form of i.
FAILURE
Never fails.
EXAMPLE
- int_to_string 12323;
> val it = "12323" : string

- int_to_string ~1;
> val it = "~1" : string

COMMENTS
Equivalent functionality can be found in the Standard ML Basis Library function Int.toString.
SEEALSO
HOL  Kananaskis-14