HashsetAdapted from Damien Doligez, projet Para, INRIA Rocquencourt, OCaml stdlib.
The following functor is a specialized version of Weak.Make. Here, the responsibility of computing the hash function is now given to the caller, which makes possible the interleaving of the hash key computation and the hash-consing.
module type EqType = sig ... endmodule type S = sig ... endmodule Combine : sig ... end