Refactor the code to have a unique place for signature definition.

[tatoo.git] / src / ptset.ml

diff --git a/src/ptset.ml b/src/ptset.ml
index 9576993..af046a8 100644 (file)
--- 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 =