(******************************************************************************)
(*  SXSI : XPath evaluator                                                    *)
(*  Kim Nguyen (Kim.Nguyen@nicta.com.au)                                      *)
(*  Copyright NICTA 2008                                                      *)
(*  Distributed under the terms of the LGPL (see LICENCE)                     *)
(******************************************************************************)
module type BINARY =
sig
  type node_content
  type string_content
  type descr = Nil| Node of node_content | String of string_content 
  type t
  val parse_xml_uri : string -> t
  val parse_xml_string : string -> t
  val tag_pool : t -> Tag.pool
  val string : t -> string
  val descr : t -> descr
  val left : t -> t
  val right : t -> t
  val parent : t -> t
  val id : t -> int
  val tag : t -> Tag.t
  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
  val string_below : t -> string_content -> bool
  val contains : t -> string -> DocIdSet.t
  val contains_old : t -> string -> bool
  val dump : t -> unit 
end

module Binary : BINARY

IFDEF DEBUG
THEN
module DEBUGTREE : sig
  include BINARY
  val print_stats : Format.formatter -> unit
end
ENDIF