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