sig
  val name : string
  val result : Metrics_coverage.coverage_metrics option Pervasives.ref
  val highlight : bool Pervasives.ref
  val compute : libc:bool -> Metrics_coverage.coverage_metrics
  val highlighter :
    < buffer : GSourceView2.source_buffer; .. > ->
    Pretty_source.localizable -> start:int -> stop:int -> unit
  val display_result :
    libc:bool -> < rehighlight : unit -> unit; .. > -> GPack.box -> unit
  val register :
    libc:bool ->
    < register_source_highlighter : (< buffer : GSourceView2.source_buffer;
                                       .. > ->
                                     Pretty_source.localizable ->
                                     start:int -> stop:int -> unit) ->
                                    'a;
      rehighlight : unit -> unit; .. > ->
    unit
end