X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fptset.ml;h=af046a8d1fb5af0a128fbe31a6636aea6be522e1;hb=f5d90fb688bc1a9b29815fc33c369856e6c51a67;hp=9576993157d6288ea7a8a56e0bd2c0ceeff804ab;hpb=269daee8bbc5b86adeb9b23049c378e49cc82d2e;p=tatoo.git

diff --git a/src/ptset.ml b/src/ptset.ml
index 9576993..af046a8 100644
--- a/src/ptset.ml
+++ b/src/ptset.ml
@@ -23,14 +23,10 @@
 *)
 INCLUDE "utils.ml"
 
-module type S =
-  sig
-    include Sigs.Set
-    include Hcons.S with type t := t
-  end
+include Sigs.PTSET
 
 module type HConsBuilder =
-  functor (H : Sigs.HashedType) -> Hcons.S with type data = H.t
+  functor (H : Sigs.AUX.HashedType) -> Hcons.S with type data = H.t
 
 module Builder (HCB : HConsBuilder) (H : Hcons.Abstract) :
   S with type elt = H.t =
@@ -43,7 +39,7 @@ struct
     | Branch of int * int * 'a * 'a
 
   module rec Node : Hcons.S with type data = Data.t = HCB(Data)
-  and Data : Sigs.HashedType with type t = Node.t set =
+  and Data : Sigs.AUX.HashedType with type t = Node.t set =
   struct
     type t =  Node.t set
     let equal x y =