tag.mli

   1 type t = int
   2 type pool
   3 val tag : string -> t
   4 val pcdata : t
   5 val attribute : t
   6 val init : pool -> unit
   7 val to_string : t -> string
   8 val compare : t -> t -> int
   9 val equal : t -> t -> bool
  10 val nullt : t
  11
  12 val dump : Format.formatter -> t -> unit
  13 val check : t -> unit (* Check internal invariants *)
  14
  15 (* Data structures *)
  16 val hash : t -> int
  17 val print : Format.formatter -> t -> unit
  18