Module Datalib.Collector


module Collector: sig .. end


type t = {
   mutable c_warning : Wpo.warning list;
   mutable c_depends : Wpo.dependency list;
}
val stack : t list Pervasives.ref
val push : unit -> t
val pop : t -> Wpo.warning list * Wpo.dependency list
val add_warning : ?severe:bool ->
?source:string ->
reason:string -> ('a, Format.formatter, unit, unit) Pervasives.format4 -> 'a
When adding a warning, one has to provide :
val add_depend : WpAnnot.prop_id ->
('a, Format.formatter, unit, unit) Pervasives.format4 -> 'a