X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftag.mli;fp=src%2Ftag.mli;h=6dc51eeac4d7bf556da0d7d4a6b7ef917d6eae08;hb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;hp=0000000000000000000000000000000000000000;hpb=a223af3254fb51c279cfbccdc18c59484fdca74e;p=SXSI%2Fxpathcomp.git

diff --git a/src/tag.mli b/src/tag.mli
new file mode 100644
index 0000000..6dc51ee
--- /dev/null
+++ b/src/tag.mli
@@ -0,0 +1,28 @@
+type t = int
+type pool
+val tag : string -> t
+
+val document_node : t
+val attribute : t
+val pcdata : t
+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 dump_tags : unit -> unit