sig
  type t = int
  val compare : 'a -> 'a -> int
  val hash : 'a -> 'a
  val equal : 'a -> 'a -> bool
end