sig
  val name : string
  class cyclo_class :
    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
  val compute : libc:bool -> unit -> unit
  val display_result : libc:bool -> GPack.box -> unit
  val register : libc:bool -> Design.main_window_extension_points -> unit
end