sig type t val compare : Sig.COMPARABLE.t -> Sig.COMPARABLE.t -> int val hash : Sig.COMPARABLE.t -> int val equal : Sig.COMPARABLE.t -> Sig.COMPARABLE.t -> bool end