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