X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tag.mli;h=bc3ee5559bd8fb0fff8eade4ddf9f01deed94057;hb=f0557f21878be17ddc75b1bc8f4f86da68c8e604;hp=46efbcfd5c4f5440d7afc3b7a4c25f264de68b5a;hpb=d64e3a3a9ef6329caafdba848ef78427fce0d689;p=SXSI%2Fxpathcomp.git diff --git a/tag.mli b/tag.mli index 46efbcf..bc3ee55 100644 --- a/tag.mli +++ b/tag.mli @@ -1,12 +1,18 @@ type t = int type pool val tag : string -> t -val pcdata : t + +val document_node : t val attribute : t +val pcdata : t +val attribute_data : 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 *)