Util.HTProduct
Cartesian product of two hashable types.
module X : Sig.HASHABLE
module Y : Sig.HASHABLE
type t = X.t * Y.t
val hash : t -> int
val equal : t -> t -> bool