libc:bool ->
Metrics_coverage.coverage_metrics ->
object
  method pp_reached_from_function :
    Format.formatter -> Kernel_function.t -> unit
  method pp_stmts_reached_by_function : Format.formatter -> unit
  method pp_unreached_calls : Format.formatter -> unit
  method pp_value_coverage : Format.formatter -> unit
end