(* Distributed under the terms of the LGPL (see LICENCE) *)
(******************************************************************************)
-include FiniteCofinite.S with type elt = Tag.t and type set = Ptset.t
+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