module HTProduct: functor (X : Sig.HASHABLE) -> functor (Y : Sig.HASHABLE) -> HASHABLE with type t = X.t * Y.t
functor (
X
:
Sig.HASHABLE
) ->
Y
HASHABLE
with type t = X.t * Y.t