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