X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=finiteCofinite.mli;h=b0dccc828a02d74ee5a0eecc5348fb4c611b2fa2;hb=bf2b1a91300ace1e7e83bd78f868a269d86498f9;hp=72b1aeca45ec6d1964d63d3e7ba13d2d2cd555bf;hpb=9728f46b5f256250a4451c0a9bda30ce81be5b8b;p=SXSI%2Fxpathcomp.git

diff --git a/finiteCofinite.mli b/finiteCofinite.mli
index 72b1aec..b0dccc8 100644
--- a/finiteCofinite.mli
+++ b/finiteCofinite.mli
@@ -33,11 +33,12 @@ module type S =
     val choose : t -> elt
     val hash : t -> int
     val equal : t -> t -> bool
+    val uid : t -> Uid.t
     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