string list ->
object
  val mutable file_boxes : Rep_gui.file list
  val gui : GWindow.window
  val item_about : GMenu.menu_item
  val item_close : GMenu.image_menu_item
  val item_cond : GMenu.menu_item
  val item_copy : GMenu.image_menu_item
  val item_cut : GMenu.image_menu_item
  val item_delete : GMenu.image_menu_item
  val item_edit_report_header : GMenu.image_menu_item
  val item_edit_report_params : GMenu.image_menu_item
  val item_edit_selected_node : GMenu.image_menu_item
  val item_leaf : GMenu.menu_item
  val item_list : GMenu.menu_item
  val item_mark : GMenu.menu_item
  val item_move_down : GMenu.image_menu_item
  val item_move_up : GMenu.image_menu_item
  val item_new : GMenu.image_menu_item
  val item_open : GMenu.image_menu_item
  val item_paste : GMenu.image_menu_item
  val item_quit : GMenu.image_menu_item
  val item_save : GMenu.image_menu_item
  val item_save_as : GMenu.image_menu_item
  val item_sub : GMenu.menu_item
  val item_tag : GMenu.menu_item
  val menu_insert : GMenu.menu_item
  val menu_insert_menu : GMenu.menu
  val menuitem1_menu : GMenu.menu
  val menuitem2_menu : GMenu.menu
  val menuitem4_menu : GMenu.menu
  val notebook : GPack.notebook
  val toplevel : GWindow.window
  val vbox : GPack.box
  val xml : Glade.glade_xml Gtk.obj
  method about : unit -> unit
  method active_file : Rep_gui.file option
  method add_file_box : string option -> unit
  method bind : name:string -> callback:(unit -> unit) -> unit
  method check_widgets : unit -> unit
  method close_current : unit -> unit
  method gui : GWindow.window
  method item_about : GMenu.menu_item
  method item_close : GMenu.image_menu_item
  method item_cond : GMenu.menu_item
  method item_copy : GMenu.image_menu_item
  method item_cut : GMenu.image_menu_item
  method item_delete : GMenu.image_menu_item
  method item_edit_report_header : GMenu.image_menu_item
  method item_edit_report_params : GMenu.image_menu_item
  method item_edit_selected_node : GMenu.image_menu_item
  method item_leaf : GMenu.menu_item
  method item_list : GMenu.menu_item
  method item_mark : GMenu.menu_item
  method item_move_down : GMenu.image_menu_item
  method item_move_up : GMenu.image_menu_item
  method item_new : GMenu.image_menu_item
  method item_open : GMenu.image_menu_item
  method item_paste : GMenu.image_menu_item
  method item_quit : GMenu.image_menu_item
  method item_save : GMenu.image_menu_item
  method item_save_as : GMenu.image_menu_item
  method item_sub : GMenu.menu_item
  method item_tag : GMenu.menu_item
  method menu_insert : GMenu.menu_item
  method menu_insert_menu : GMenu.menu
  method menuitem1_menu : GMenu.menu
  method menuitem2_menu : GMenu.menu
  method menuitem4_menu : GMenu.menu
  method new_report : unit -> unit
  method notebook : GPack.notebook
  method on_current : (Rep_gui.file -> unit) -> unit -> unit
  method open_report : unit -> unit
  method quit : unit -> unit
  method reparent : GObj.widget -> unit
  method toplevel : GWindow.window
  method vbox : GPack.box
  method xml : Glade.glade_xml Gtk.obj
end