*)
INCLUDE "utils.ml"
-
module HashSet (H : Hashtbl.HashedType) :
- Sigs.HashSet with type data = H.t =
+ Sigs.AUX.HashSet with type data = H.t =
struct
module T = Hashtbl.Make(H)
type data = H.t
let mem = T.mem
end
-module Pair (X : Sigs.Type) (Y : Sigs.Type) :
- Sigs.Type with type t = X.t * Y.t =
+module Pair (X : Sigs.AUX.Type) (Y : Sigs.AUX.Type) :
+ Sigs.AUX.Type with type t = X.t * Y.t =
struct
type t = X.t * Y.t
let hash (x, y) = HASHINT2(X.hash x, Y.hash y)