class cyclo_class :Design.main_window_extension_points ->
object
..end
val mutable fct_to_check : Cil_types.global
method get_data : Metrics_base.my_metrics
method insert_text : GText.buffer -> unit
method do_cyclo : Design.main_window_extension_points -> unit
method display_localizable : Pretty_source.localizable -> unit -> unit
method cyclo_selector : GMenu.menu GMenu.factory ->
Design.main_window_extension_points ->
button:int -> Pretty_source.localizable -> unit