sig type t = int val compare : int -> int -> int val to_string : int -> string val of_string : string -> int option end