Module Scan

module Scan: sig .. end
Filters on which properties should be reported

module E: Emitter.Usable_emitter
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 E.Map.t

Filters on which properties should be reported
val report_untried : Property.t -> Report_parameters.Untried.t
val report_specialized : Property.identified_property -> bool
val report_ip : Property.t -> bool
val add_property : Property.Set.t Pervasives.ref -> Property.Set.elt -> unit
val add_consolidation : Property.Set.t Pervasives.ref -> Property_status.Consolidation.t -> unit
val add_pending : Property.Set.t Pervasives.ref ->
Property_status.Consolidation.pending -> unit
val iter : inspector -> unit