X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=finiteCofinite.mli;h=b8d8c1d7ddc96314d7640d426ac5cfdff9bb2dd8;hb=cf6d366b25132eea7b0f1966c11d034d748af0fa;hp=7f98130a87f5cd19d77458de6598e547f830b323;hpb=dc91851aaeac91a71eba2c266d0227adea0c5815;p=SXSI%2Fxpathcomp.git

diff --git a/finiteCofinite.mli b/finiteCofinite.mli
index 7f98130..b8d8c1d 100644
--- a/finiteCofinite.mli
+++ b/finiteCofinite.mli
@@ -33,9 +33,12 @@ module type S =
     val choose : t -> elt
     val hash : t -> int
     val equal : t -> t -> bool
+    val uid : t -> int
     val positive : t -> set
     val negative : t -> set
+    val inj_positive : set -> t
+    val inj_negative : set -> t
   end
 
-module Make :  functor (E : Sigs.Set) -> S with type elt = E.elt and type set = E.t
+module Make :  functor  (E : Ptset.S) -> S with type elt = E.elt and type set = E.t