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

diff --git a/src/tagSet.mli b/src/tagSet.mli
new file mode 100644
index 0000000..825757a
--- /dev/null
+++ b/src/tagSet.mli
@@ -0,0 +1,15 @@
+(******************************************************************************)
+(*  SXSI : XPath evaluator                                                    *)
+(*  Kim Nguyen (Kim.Nguyen@nicta.com.au)                                      *)
+(*  Copyright NICTA 2008                                                      *)
+(*  Distributed under the terms of the LGPL (see LICENCE)                     *)
+(******************************************************************************)
+
+include FiniteCofinite.S with type elt = Tag.t and type set = Ptset.Int.t
+
+val tag : Tag.t -> t
+val pcdata : t
+val attribute : t
+val star : t
+val node : t
+val print : Format.formatter -> t -> unit