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