Design.main_window_extension_points -> object   val mutable checked_fun : Kernel_function.t   method cyclo_selector :     GMenu.menu GMenu.factory ->     Design.main_window_extension_points ->     button:int -> Pretty_source.localizable -> unit   method display_localizable : Pretty_source.localizable -> unit -> unit   method do_cyclo : Design.main_window_extension_points -> unit   method do_value :     Design.main_window_extension_points ->     Pretty_source.localizable -> int -> int -> float -> unit   method get_data : Metrics_base.BasicMetrics.t end