Module Scan

module Scan: sig .. end

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
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 consider_ip : Property.t -> Report_parameters.Untried.t
val iter : inspector -> unit