-(******************************************************************************)
-(* SXSI : XPath evaluator *)
-(* Kim Nguyen (Kim.Nguyen@nicta.com.au) *)
-(* Copyright NICTA 2008 *)
-(* Distributed under the terms of the LGPL (see LICENCE) *)
-(******************************************************************************)
-type t
+type t = int
+type pool
+val tag : string -> t
+
+val document_node : t
val attribute : t
val pcdata : t
-val tag : string -> t
-val clear_pool : unit -> unit
+val attribute_data : t
+val document_node_close : t
+val attribute_close : t
+val pcdata_close : t
+val attribute_data_close : t
+
+
+val init : pool -> unit
+val to_string : t -> string
val compare : t -> t -> int
val equal : t -> t -> bool
+val nullt : t
+val dummy : t
+val dump : Format.formatter -> t -> unit
+val check : t -> unit (* Check internal invariants *)
+
+(* Data structures *)
+val hash : t -> int
val print : Format.formatter -> t -> unit
-val to_string : t -> string
+