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
  11 val dump : Format.formatter -> t -> unit
  12 val check : t -> unit (* Check internal invariants *)
  13
  14 (* Data structures *)
  15 val hash : t -> int
  16 val print : Format.formatter -> t -> unit
  17