module Register_gui:sig
..end
val mk_bi_label : GPack.box -> string -> GMisc.label
module HalsteadMetricsGUI:sig
..end
module CyclomaticMetricsGUI:sig
..end
module ValueCoverageGUI:sig
..end
val register_final : ?libc:Metrics_parameters.Libc.t ->
Design.main_window_extension_points -> string * GObj.widget * 'a option
val gui : Design.main_window_extension_points -> unit