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