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