src/tagSet.mli

   1 (******************************************************************************)
   2 (*  SXSI : XPath evaluator                                                    *)
   3 (*  Kim Nguyen (Kim.Nguyen@nicta.com.au)                                      *)
   4 (*  Copyright NICTA 2008                                                      *)
   5 (*  Distributed under the terms of the LGPL (see LICENCE)                     *)
   6 (******************************************************************************)
   7
   8 include FiniteCofinite.S with type elt = Tag.t and type set = Ptset.Int.t
   9
  10 val tag : Tag.t -> t
  11 val pcdata : t
  12 val attribute : t
  13 val star : t
  14 val node : t
  15 val print : Format.formatter -> t -> unit