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