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