X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=finiteCofinite.mli;h=72b1aeca45ec6d1964d63d3e7ba13d2d2cd555bf;hb=9a1792faff5e38231a74f9e761a7ff94aae5e6d9;hp=b48955772a0bdead4ea664bbe3dcfbf927fe3437;hpb=d04661689691b4587cfc45a35e98604fcdc2b878;p=SXSI%2Fxpathcomp.git

diff --git a/finiteCofinite.mli b/finiteCofinite.mli
index b489557..72b1aec 100644
--- a/finiteCofinite.mli
+++ b/finiteCofinite.mli
@@ -4,6 +4,7 @@ module type S =
   sig
     type elt
     type t
+    type set 
     val empty : t
     val any : t
     val is_empty : t -> bool
@@ -32,7 +33,11 @@ module type S =
     val choose : t -> elt
     val hash : t -> int
     val equal : t -> t -> bool
+    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
+module Make :  functor (E : Sigs.Set) -> S with type elt = E.elt and type set = E.t