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