Util.HTProduct
X : Sig.HASHABLE
Y : Sig.HASHABLE
type t
= X.t * Y.t
val hash : t -> int
val equal : t -> t -> bool