Previous  Up  Next

Functor Util.HTProduct

module HTProduct: 
functor (X : Sig.HASHABLE) -> 
functor (Y : Sig.HASHABLE) -> HASHABLE  with type t = X.t * Y.t
Cartesian product of two hashable types.
Parameters:
X : Sig.HASHABLE
Y : Sig.HASHABLE