class dumper : Format.formatter ->
object
.. end
val mutable st_unknown : int
val mutable st_partial : int
val mutable st_extern : int
val mutable st_complete : int
val mutable st_bug : int
val mutable st_alarm : int
val mutable st_dead : int
val mutable st_maybe_unreachable : int
val mutable st_unreachable : int
val mutable st_inconsistent : int
val mutable kf : Description.kf
method started : unit
method global_section : unit
method function_section : Kernel_function.t -> unit
method category : Property.t -> Property_status.Consolidation.consolidated_status -> string
method emitter : E.Set.elt -> unit
method emitters : E.Set.t -> unit
method tried_emitters : Property.Set.t Emitter.Usable_emitter.Map.t E.Map.t -> unit
method dead_reasons : Property_status.Consolidation.pending -> unit
method partial_pending : Property_status.Consolidation.pending -> unit
method property : Property.t -> Property_status.Consolidation.consolidated_status -> unit
method finished : unit
method empty : unit