1\DOC int_to_string
2
3\TYPE {int_to_string : int -> string}
4
5\SYNOPSIS
6Translates an integer into a string.
7
8\DESCRIBE
9An application {int_to_string i} returns the printable form of {i}.
10
11\FAILURE
12Never fails.
13
14\EXAMPLE
15{
16- int_to_string 12323;
17> val it = "12323" : string
18
19- int_to_string ~1;
20> val it = "~1" : string
21}
22
23
24\COMMENTS
25Equivalent functionality can be found in the Standard ML Basis
26Library function {Int.toString}.
27
28\SEEALSO
29Lib.string_to_int.
30\ENDDOC
31