libc:bool ->
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