class mainWin :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val aboutMenuItem : GMenu.menu_item
    val debugMenu : GMenu.menu_item
    val debugMenu_menu : GMenu.menu
    val editMenu : GMenu.menu_item
    val fileMenu : GMenu.menu_item
    val fileMenu_menu : GMenu.menu
    val helpMenu : GMenu.menu_item
    val helpMenu_menu : GMenu.menu
    val image76 : GMisc.image
    val image77 : GMisc.image
    val image78 : GMisc.image
    val image79 : GMisc.image
    val image80 : GMisc.image
    val mainMenuBar : GMenu.menu_shell
    val mainStatusBar : GMisc.statusbar
    val mainVPanes : GPack.paned
    val mainWin : GWindow.window
    val mainWinShape : GPack.box
    val newDefsMenuItem : GMenu.menu_item
    val newMenu : GMenu.image_menu_item
    val newMenu_menu : GMenu.menu
    val newProofMenuItem : GMenu.menu_item
    val openMenuItem : GMenu.image_menu_item
    val proofStatus : GBin.scrolled_window
    val quitMenuItem : GMenu.image_menu_item
    val saveAsMenuItem : GMenu.image_menu_item
    val saveMenuItem : GMenu.image_menu_item
    val scrolledUserInput : GBin.scrolled_window
    val separator1 : GMenu.menu_item
    val separator2 : GMenu.menu_item
    val showProofMenuItem : GMenu.check_menu_item
    val showToolBarMenuItem : GMenu.check_menu_item
    val toplevel : GWindow.window
    val viewMenu : GMenu.menu_item
    val viewMenu_menu : GMenu.menu
    val xml : Glade.glade_xml Gtk.obj
    method aboutMenuItem : GMenu.menu_item
    method bind : name:string -> callback:(unit -> unit) -> unit
    method check_widgets : unit -> unit
    method debugMenu : GMenu.menu_item
    method debugMenu_menu : GMenu.menu
    method editMenu : GMenu.menu_item
    method fileMenu : GMenu.menu_item
    method fileMenu_menu : GMenu.menu
    method helpMenu : GMenu.menu_item
    method helpMenu_menu : GMenu.menu
    method image76 : GMisc.image
    method image77 : GMisc.image
    method image78 : GMisc.image
    method image79 : GMisc.image
    method image80 : GMisc.image
    method mainMenuBar : GMenu.menu_shell
    method mainStatusBar : GMisc.statusbar
    method mainVPanes : GPack.paned
    method mainWin : GWindow.window
    method mainWinShape : GPack.box
    method newDefsMenuItem : GMenu.menu_item
    method newMenu : GMenu.image_menu_item
    method newMenu_menu : GMenu.menu
    method newProofMenuItem : GMenu.menu_item
    method openMenuItem : GMenu.image_menu_item
    method proofStatus : GBin.scrolled_window
    method quitMenuItem : GMenu.image_menu_item
    method reparent : GObj.widget -> unit
    method saveAsMenuItem : GMenu.image_menu_item
    method saveMenuItem : GMenu.image_menu_item
    method scrolledUserInput : GBin.scrolled_window
    method separator1 : GMenu.menu_item
    method separator2 : GMenu.menu_item
    method showProofMenuItem : GMenu.check_menu_item
    method showToolBarMenuItem : GMenu.check_menu_item
    method toplevel : GWindow.window
    method viewMenu : GMenu.menu_item
    method viewMenu_menu : GMenu.menu
    method xml : Glade.glade_xml Gtk.obj
  end
class proofWin :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val proofWin : GWindow.window
    val proofWinEventBox : GBin.event_box
    val scrolledProof : GBin.scrolled_window
    val toplevel : GWindow.window
    val viewport1 : GBin.viewport
    val xml : Glade.glade_xml Gtk.obj
    method bind : name:string -> callback:(unit -> unit) -> unit
    method check_widgets : unit -> unit
    method proofWin : GWindow.window
    method proofWinEventBox : GBin.event_box
    method reparent : GObj.widget -> unit
    method scrolledProof : GBin.scrolled_window
    method toplevel : GWindow.window
    method viewport1 : GBin.viewport
    method xml : Glade.glade_xml Gtk.obj
  end
class fileSelectionWin :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val cancel_button1 : GButton.button
    val fileSelectionWin : GWindow.file_selection
    val ok_button1 : GButton.button
    val toplevel : GWindow.file_selection
    val xml : Glade.glade_xml Gtk.obj
    method bind : name:string -> callback:(unit -> unit) -> unit
    method cancel_button1 : GButton.button
    method check_widgets : unit -> unit
    method fileSelectionWin : GWindow.file_selection
    method ok_button1 : GButton.button
    method toplevel : GWindow.file_selection
    method xml : Glade.glade_xml Gtk.obj
  end
class toolBarWin :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val button1 : GButton.button
    val button2 : GButton.button
    val button3 : GButton.button
    val button4 : GButton.button
    val toolBarEventBox : GBin.event_box
    val toolBarWin : GWindow.window
    val toplevel : GWindow.window
    val vbox1 : GPack.box
    val xml : Glade.glade_xml Gtk.obj
    method bind : name:string -> callback:(unit -> unit) -> unit
    method button1 : GButton.button
    method button2 : GButton.button
    method button3 : GButton.button
    method button4 : GButton.button
    method check_widgets : unit -> unit
    method reparent : GObj.widget -> unit
    method toolBarEventBox : GBin.event_box
    method toolBarWin : GWindow.window
    method toplevel : GWindow.window
    method vbox1 : GPack.box
    method xml : Glade.glade_xml Gtk.obj
  end
class genericDialog :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val cancelbutton1 : GButton.button
    val dialog_vbox1 : GPack.box
    val genericDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    val okbutton1 : GButton.button
    val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    val xml : Glade.glade_xml Gtk.obj
    method bind : name:string -> callback:(unit -> unit) -> unit
    method cancelbutton1 : GButton.button
    method check_widgets : unit -> unit
    method dialog_vbox1 : GPack.box
    method genericDialog :
      [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    method okbutton1 : GButton.button
    method reparent : GObj.widget -> unit
    method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    method xml : Glade.glade_xml Gtk.obj
  end
class aboutWin :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val aboutDismissButton : GButton.button
    val aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    val dialog_vbox2 : GPack.box
    val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    val xml : Glade.glade_xml Gtk.obj
    method aboutDismissButton : GButton.button
    method aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    method bind : name:string -> callback:(unit -> unit) -> unit
    method check_widgets : unit -> unit
    method dialog_vbox2 : GPack.box
    method reparent : GObj.widget -> unit
    method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    method xml : Glade.glade_xml Gtk.obj
  end
class uriChoiceDialog :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val alignment1 : GBin.alignment
    val alignment2 : GBin.alignment
    val dialog_vbox3 : GPack.box
    val entry1 : GEdit.entry
    val hbox1 : GPack.box
    val hbox2 : GPack.box
    val hbox3 : GPack.box
    val image18 : GMisc.image
    val image19 : GMisc.image
    val label1 : GMisc.label
    val label2 : GMisc.label
    val label3 : GMisc.label
    val scrolledwindow1 : GBin.scrolled_window
    val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    val uriChoiceAbortButton : GButton.button
    val uriChoiceAutoButton : GButton.button
    val uriChoiceConstantsButton : GButton.button
    val uriChoiceDialog :
      [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    val uriChoiceLabel : GMisc.label
    val uriChoiceSelectedButton : GButton.button
    val uriChoiceTreeView : GTree.view
    val vbox2 : GPack.box
    val xml : Glade.glade_xml Gtk.obj
    method alignment1 : GBin.alignment
    method alignment2 : GBin.alignment
    method bind : name:string -> callback:(unit -> unit) -> unit
    method check_widgets : unit -> unit
    method dialog_vbox3 : GPack.box
    method entry1 : GEdit.entry
    method hbox1 : GPack.box
    method hbox2 : GPack.box
    method hbox3 : GPack.box
    method image18 : GMisc.image
    method image19 : GMisc.image
    method label1 : GMisc.label
    method label2 : GMisc.label
    method label3 : GMisc.label
    method reparent : GObj.widget -> unit
    method scrolledwindow1 : GBin.scrolled_window
    method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    method uriChoiceAbortButton : GButton.button
    method uriChoiceAutoButton : GButton.button
    method uriChoiceConstantsButton : GButton.button
    method uriChoiceDialog :
      [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    method uriChoiceLabel : GMisc.label
    method uriChoiceSelectedButton : GButton.button
    method uriChoiceTreeView : GTree.view
    method vbox2 : GPack.box
    method xml : Glade.glade_xml Gtk.obj
  end
class interpChoiceDialog :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val dialog_vbox4 : GPack.box
    val interpChoiceCancelButton : GButton.button
    val interpChoiceDialog :
      [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    val interpChoiceHelpButton : GButton.button
    val interpChoiceOkButton : GButton.button
    val label6 : GMisc.label
    val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    val vbox3 : GPack.box
    val xml : Glade.glade_xml Gtk.obj
    method bind : name:string -> callback:(unit -> unit) -> unit
    method check_widgets : unit -> unit
    method dialog_vbox4 : GPack.box
    method interpChoiceCancelButton : GButton.button
    method interpChoiceDialog :
      [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    method interpChoiceHelpButton : GButton.button
    method interpChoiceOkButton : GButton.button
    method label6 : GMisc.label
    method reparent : GObj.widget -> unit
    method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    method vbox3 : GPack.box
    method xml : Glade.glade_xml Gtk.obj
  end
val check_all : ?show:bool -> unit -> unit