module Scan:sig
..end
Filters on which properties should be reported
class type inspector =object
..end
val dead_reasons : Property_status.Consolidation.pending -> Property.Set.t
val partial_pending : Property_status.Consolidation.pending ->
Property.Set.t Emitter.Usable_emitter.Map.t
val iter : inspector -> unit
val report_ip : Property.t -> bool