class type inspector =object
..end
method empty : unit
method started : unit
method global_section : unit
method function_section : Kernel_function.t -> unit
method property : Property.t -> Property_status.Consolidation.t -> unit
method finished : unit