sig
  type t = int
  val eq : int -> int -> bool
  val to_string : int -> string
  val compare : int -> int -> int
  val leq : int -> int -> bool
  val geq : int -> int -> bool
end