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
val make_panel : 'a -> string * GObj.widget * (unit -> unit) option
val gui : Design.main_window_extension_points -> unit