Module Register_gui


module Register_gui: sig .. end

class cyclo_class : Design.main_window_extension_points -> object .. end
val make_bi_label : GPack.box -> string -> GMisc.label
val make_hbox : GPack.box -> GPack.box
module LastResult: State_builder.Option_ref(Metrics_base.DatatypeMetrics)(sig
val dependencies : State.t list
val name : string
val kind : [> `Internal ]
end)
val make_panel : 'a -> string * GObj.widget * (unit -> unit) option
val gui : Design.main_window_extension_points -> unit