-(******************************************************************************)
-(* SXSI : XPath evaluator *)
-(* Kim Nguyen (Kim.Nguyen@nicta.com.au) *)
-(* Copyright NICTA 2008 *)
-(* Distributed under the terms of the LGPL (see LICENCE) *)
-(******************************************************************************)
-type t
-val attribute : t
-val pcdata : t
+type t = int
+type pool
val tag : string -> t
-val clear_pool : unit -> unit
+val pcdata : t
+val attribute : t
+val init : pool -> unit
+val to_string : t -> string
val compare : t -> t -> int
val equal : t -> t -> bool
+val nullt : 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
+