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
end