sig
  class main :
    unit ->
    object
      val hbox1 : GPack.box
      val hbox_buttons : GPack.box
      val menubar : GMenu.menu_shell
      val statusbar : GMisc.statusbar
      val toplevel : GWindow.window
      val xml : Glade.glade_xml Gtk.obj
      method bind : name:string -> callback:(unit -> unit) -> unit
      method check_widgets : unit -> unit
      method hbox1 : GPack.box
      method hbox_buttons : GPack.box
      method main : GWindow.window
      method menubar : GMenu.menu_shell
      method reparent : GObj.widget -> unit
      method statusbar : GMisc.statusbar
      method toplevel : GWindow.window
      method window : GWindow.window
      method xml : Glade.glade_xml Gtk.obj
    end
end