X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tag.mli;h=bc3ee5559bd8fb0fff8eade4ddf9f01deed94057;hb=d550133ad7afdf65c5e284c2bcf67a5bdde6faa7;hp=b5e0ad295dfd7d4a519c33f85dd56180fea9a7be;hpb=dc91851aaeac91a71eba2c266d0227adea0c5815;p=SXSI%2Fxpathcomp.git diff --git a/tag.mli b/tag.mli index b5e0ad2..bc3ee55 100644 --- a/tag.mli +++ b/tag.mli @@ -1,8 +1,13 @@ 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