Some more bugfixing for the contains.

[SXSI/xpathcomp.git] / tree.mli

diff --git a/tree.mli b/tree.mli
index ad244e4..eb13139 100644 (file)
--- a/tree.mli
+++ b/tree.mli
@@ -25,11 +25,15 @@ sig
   val print_xml_fast : out_channel -> t -> unit
   val compare : t -> t -> int
   val equal : t -> t -> bool
-  module DocIdSet : Set.S with type elt = string_content
+  module DocIdSet : 
+  sig 
+    include Set.S  
+  end with type elt = string_content
   val string_below : t -> string_content -> bool
   val contains : t -> string -> DocIdSet.t
   val contains_old : t -> string -> bool
   val dump : t -> unit 
+  val get_string : t -> string_content -> string
 end
 
 module Binary : BINARY