X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Futils.ml;h=1224f2a83932c93edaee0f4b68ef39d31699f142;hb=54b9cdaa6686eb28a0cad0ac3f1648f115d3fac5;hp=2c3772de7b8e9207cc62314a02b9f23686e04b47;hpb=cba2938d929fd5119b1491686ddc224d5af618c6;p=tatoo.git diff --git a/src/utils.ml b/src/utils.ml index 2c3772d..1224f2a 100644 --- a/src/utils.ml +++ b/src/utils.ml @@ -17,9 +17,8 @@ *) 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 @@ -33,8 +32,8 @@ struct 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)