sig
  class type inspector =
    object
      method empty : unit
      method finished : unit
      method function_section : Kernel_function.t -> unit
      method global_section : unit
      method property : Property.t -> Property_status.Consolidation.t -> unit
      method started : unit
    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 : Scan.inspector -> unit
  val report_ip : Property.t -> bool
  val source_properties : (Property.t -> unit) -> unit
end