sig
val name : string
val result : Metrics_coverage.coverage_metrics option Stdlib.ref
val highlight : bool Stdlib.ref
val update_filetree : ([ `Contents | `Visibility ] -> unit) Stdlib.ref
val filetree_enabled : bool Stdlib.ref
val filetree_visible : unit -> bool
val compute : libc:bool -> Metrics_coverage.coverage_metrics
val decorate_filetree : Design.main_window_extension_points -> unit
val highlighter :
< buffer : GSourceView.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 : GSourceView.source_buffer;
.. > ->
Pretty_source.localizable ->
start:int -> stop:int -> unit) ->
'a;
rehighlight : unit -> unit; .. > ->
unit
end