sig
type t = {
mutable c_warning : Wpo.warning list;
mutable c_depends : Property.t list;
}
val stack : Datalib.Collector.t list Pervasives.ref
val push : unit -> Datalib.Collector.t
val pop : Datalib.Collector.t -> Wpo.warning list * Property.t list
val add_warning :
?severe:bool ->
?source:string ->
reason:string ->
('a, Format.formatter, unit, unit) Pervasives.format4 -> 'a
val add_depend : Property.t -> unit
end