X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=finiteCofinite.ml;fp=finiteCofinite.ml;h=907b604c9664abce9bd5ea059b2cb01126b8ed4f;hb=9728f46b5f256250a4451c0a9bda30ce81be5b8b;hp=58f07306f9595081958d7215b472af8b9187d2e3;hpb=83b4813de7204842bb59d5cb0aec71aff633ca85;p=SXSI%2Fxpathcomp.git

diff --git a/finiteCofinite.ml b/finiteCofinite.ml
index 58f0730..907b604 100644
--- a/finiteCofinite.ml
+++ b/finiteCofinite.ml
@@ -41,6 +41,8 @@ sig
   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 (E : Sigs.Set) : S with type elt = E.elt and type set = E.t =
@@ -192,5 +194,7 @@ struct
       | CoFinite x -> x
       | _ -> E.empty
 
+  let inj_positive t = Finite t
+  let inj_negative t = CoFinite t
 end