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