Module Register_gui.CyclomaticMetricsGUI

module CyclomaticMetricsGUI: sig .. end

val name : string
class cyclo_class : Design.main_window_extension_points -> object .. end
val compute : unit -> unit
val display_result : GPack.box -> unit
val register : Design.main_window_extension_points -> unit