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 :     < buffer : 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 : (< buffer : GSourceView2.source_buffer;                                        .. > ->                                      Pretty_source.localizable ->                                      start:int -> stop:int -> unit) ->                                     'a;       rehighlight : unit -> unit; .. > ->     unit end