sig
  class box_skel :
    ([> Gtk.box ] as 'a) Gtk.obj ->
    object
      val obj : 'Gtk.obj
      method add : GObj.widget -> unit
      method all_children : GObj.widget list
      method app_paintable : bool
      method as_widget : Gtk.widget Gtk.obj
      method border_width : int
      method can_default : bool
      method can_focus : bool
      method children : GObj.widget list
      method coerce : GObj.widget
      method composite_child : bool
      method destroy : unit -> unit
      method drag : GObj.drag_ops
      method events : GdkEnums.event_mask list
      method expand : bool
      method focus : GContainer.focus
      method focus_on_click : bool
      method get_oid : int
      method halign : GtkEnums.align
      method has_default : bool
      method has_focus : bool
      method has_tooltip : bool
      method height_request : int
      method hexpand : bool
      method hexpand_set : bool
      method homogeneous : bool
      method is_focus : bool
      method margin : int
      method margin_bottom : int
      method margin_end : int
      method margin_left : int
      method margin_right : int
      method margin_start : int
      method margin_top : int
      method misc : GObj.misc_ops
      method name : string
      method no_show_all : bool
      method opacity : float
      method orientation : Gtk.Tags.orientation
      method pack :
        ?from:Gtk.Tags.pack_type ->
        ?expand:bool -> ?fill:bool -> ?padding:int -> GObj.widget -> unit
      method parent : Gtk.container Gtk.obj option
      method receives_default : bool
      method remove : GObj.widget -> unit
      method reorder_child : GObj.widget -> pos:int -> unit
      method resize_mode : Gtk.Tags.resize_mode
      method scale_factor : int
      method sensitive : bool
      method set_app_paintable : bool -> unit
      method set_border_width : int -> unit
      method set_can_default : bool -> unit
      method set_can_focus : bool -> unit
      method set_child_packing :
        ?from:Gtk.Tags.pack_type ->
        ?expand:bool -> ?fill:bool -> ?padding:int -> GObj.widget -> unit
      method set_events : GdkEnums.event_mask list -> unit
      method set_expand : bool -> unit
      method set_focus_on_click : bool -> unit
      method set_halign : GtkEnums.align -> unit
      method set_has_default : bool -> unit
      method set_has_focus : bool -> unit
      method set_has_tooltip : bool -> unit
      method set_height_request : int -> unit
      method set_hexpand : bool -> unit
      method set_hexpand_set : bool -> unit
      method set_homogeneous : bool -> unit
      method set_is_focus : bool -> unit
      method set_margin : int -> unit
      method set_margin_bottom : int -> unit
      method set_margin_end : int -> unit
      method set_margin_left : int -> unit
      method set_margin_right : int -> unit
      method set_margin_start : int -> unit
      method set_margin_top : int -> unit
      method set_name : string -> unit
      method set_no_show_all : bool -> unit
      method set_opacity : float -> unit
      method set_orientation : Gtk.Tags.orientation -> unit
      method set_parent : Gtk.container Gtk.obj option -> unit
      method set_receives_default : bool -> unit
      method set_resize_mode : Gtk.Tags.resize_mode -> unit
      method set_sensitive : bool -> unit
      method set_spacing : int -> unit
      method set_style : Gtk.style -> unit
      method set_tooltip_markup : string -> unit
      method set_tooltip_text : string -> unit
      method set_valign : GtkEnums.align -> unit
      method set_vexpand : bool -> unit
      method set_vexpand_set : bool -> unit
      method set_visible : bool -> unit
      method set_width_request : int -> unit
      method spacing : int
      method style : Gtk.style
      method tooltip_markup : string
      method tooltip_text : string
      method valign : GtkEnums.align
      method vexpand : bool
      method vexpand_set : bool
      method visible : bool
      method width_request : int
    end
  class size_group :
    ([> `sizegroup ] as 'a) Gtk.obj ->
    object
      val obj : 'Gtk.obj
      method add_widget : #GObj.widget -> unit
      method get_oid : int
      method remove_widget : #GObj.widget -> unit
    end
  class box :
    ([> Gtk.box ] as 'a) Gtk.obj ->
    object
      val obj : 'Gtk.obj
      method add : GObj.widget -> unit
      method all_children : GObj.widget list
      method app_paintable : bool
      method as_widget : Gtk.widget Gtk.obj
      method border_width : int
      method can_default : bool
      method can_focus : bool
      method children : GObj.widget list
      method coerce : GObj.widget
      method composite_child : bool
      method connect : GContainer.container_signals
      method destroy : unit -> unit
      method drag : GObj.drag_ops
      method events : GdkEnums.event_mask list
      method expand : bool
      method focus : GContainer.focus
      method focus_on_click : bool
      method get_oid : int
      method halign : GtkEnums.align
      method has_default : bool
      method has_focus : bool
      method has_tooltip : bool
      method height_request : int
      method hexpand : bool
      method hexpand_set : bool
      method homogeneous : bool
      method is_focus : bool
      method margin : int
      method margin_bottom : int
      method margin_end : int
      method margin_left : int
      method margin_right : int
      method margin_start : int
      method margin_top : int
      method misc : GObj.misc_ops
      method name : string
      method no_show_all : bool
      method opacity : float
      method orientation : Gtk.Tags.orientation
      method pack :
        ?from:Gtk.Tags.pack_type ->
        ?expand:bool -> ?fill:bool -> ?padding:int -> GObj.widget -> unit
      method parent : Gtk.container Gtk.obj option
      method receives_default : bool
      method remove : GObj.widget -> unit
      method reorder_child : GObj.widget -> pos:int -> unit
      method resize_mode : Gtk.Tags.resize_mode
      method scale_factor : int
      method sensitive : bool
      method set_app_paintable : bool -> unit
      method set_border_width : int -> unit
      method set_can_default : bool -> unit
      method set_can_focus : bool -> unit
      method set_child_packing :
        ?from:Gtk.Tags.pack_type ->
        ?expand:bool -> ?fill:bool -> ?padding:int -> GObj.widget -> unit
      method set_events : GdkEnums.event_mask list -> unit
      method set_expand : bool -> unit
      method set_focus_on_click : bool -> unit
      method set_halign : GtkEnums.align -> unit
      method set_has_default : bool -> unit
      method set_has_focus : bool -> unit
      method set_has_tooltip : bool -> unit
      method set_height_request : int -> unit
      method set_hexpand : bool -> unit
      method set_hexpand_set : bool -> unit
      method set_homogeneous : bool -> unit
      method set_is_focus : bool -> unit
      method set_margin : int -> unit
      method set_margin_bottom : int -> unit
      method set_margin_end : int -> unit
      method set_margin_left : int -> unit
      method set_margin_right : int -> unit
      method set_margin_start : int -> unit
      method set_margin_top : int -> unit
      method set_name : string -> unit
      method set_no_show_all : bool -> unit
      method set_opacity : float -> unit
      method set_orientation : Gtk.Tags.orientation -> unit
      method set_parent : Gtk.container Gtk.obj option -> unit
      method set_receives_default : bool -> unit
      method set_resize_mode : Gtk.Tags.resize_mode -> unit
      method set_sensitive : bool -> unit
      method set_spacing : int -> unit
      method set_style : Gtk.style -> unit
      method set_tooltip_markup : string -> unit
      method set_tooltip_text : string -> unit
      method set_valign : GtkEnums.align -> unit
      method set_vexpand : bool -> unit
      method set_vexpand_set : bool -> unit
      method set_visible : bool -> unit
      method set_width_request : int -> unit
      method spacing : int
      method style : Gtk.style
      method tooltip_markup : string
      method tooltip_text : string
      method valign : GtkEnums.align
      method vexpand : bool
      method vexpand_set : bool
      method visible : bool
      method width_request : int
    end
  val box :
    Gtk.Tags.orientation ->
    ?homogeneous:bool ->
    ?spacing:int ->
    ?border_width:int ->
    ?width:int ->
    ?height:int ->
    ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GPack.box
  val vbox :
    ?homogeneous:bool ->
    ?spacing:int ->
    ?border_width:int ->
    ?width:int ->
    ?height:int ->
    ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GPack.box
  val hbox :
    ?homogeneous:bool ->
    ?spacing:int ->
    ?border_width:int ->
    ?width:int ->
    ?height:int ->
    ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GPack.box
  class button_box :
    ([> Gtk.button_box ] as 'a) Gtk.obj ->
    object
      val obj : 'Gtk.obj
      method add : GObj.widget -> unit
      method all_children : GObj.widget list
      method app_paintable : bool
      method as_widget : Gtk.widget Gtk.obj
      method border_width : int
      method can_default : bool
      method can_focus : bool
      method children : GObj.widget list
      method coerce : GObj.widget
      method composite_child : bool
      method connect : GContainer.container_signals
      method destroy : unit -> unit
      method drag : GObj.drag_ops
      method events : GdkEnums.event_mask list
      method expand : bool
      method focus : GContainer.focus
      method focus_on_click : bool
      method get_child_secondary : GObj.widget -> bool
      method get_oid : int
      method halign : GtkEnums.align
      method has_default : bool
      method has_focus : bool
      method has_tooltip : bool
      method height_request : int
      method hexpand : bool
      method hexpand_set : bool
      method homogeneous : bool
      method is_focus : bool
      method layout : Gtk.Tags.button_box_style
      method margin : int
      method margin_bottom : int
      method margin_end : int
      method margin_left : int
      method margin_right : int
      method margin_start : int
      method margin_top : int
      method misc : GObj.misc_ops
      method name : string
      method no_show_all : bool
      method opacity : float
      method orientation : Gtk.Tags.orientation
      method pack :
        ?from:Gtk.Tags.pack_type ->
        ?expand:bool -> ?fill:bool -> ?padding:int -> GObj.widget -> unit
      method parent : Gtk.container Gtk.obj option
      method receives_default : bool
      method remove : GObj.widget -> unit
      method reorder_child : GObj.widget -> pos:int -> unit
      method resize_mode : Gtk.Tags.resize_mode
      method scale_factor : int
      method sensitive : bool
      method set_app_paintable : bool -> unit
      method set_border_width : int -> unit
      method set_can_default : bool -> unit
      method set_can_focus : bool -> unit
      method set_child_packing :
        ?from:Gtk.Tags.pack_type ->
        ?expand:bool -> ?fill:bool -> ?padding:int -> GObj.widget -> unit
      method set_child_secondary : GObj.widget -> bool -> unit
      method set_events : GdkEnums.event_mask list -> unit
      method set_expand : bool -> unit
      method set_focus_on_click : bool -> unit
      method set_halign : GtkEnums.align -> unit
      method set_has_default : bool -> unit
      method set_has_focus : bool -> unit
      method set_has_tooltip : bool -> unit
      method set_height_request : int -> unit
      method set_hexpand : bool -> unit
      method set_hexpand_set : bool -> unit
      method set_homogeneous : bool -> unit
      method set_is_focus : bool -> unit
      method set_layout : Gtk.Tags.button_box_style -> unit
      method set_margin : int -> unit
      method set_margin_bottom : int -> unit
      method set_margin_end : int -> unit
      method set_margin_left : int -> unit
      method set_margin_right : int -> unit
      method set_margin_start : int -> unit
      method set_margin_top : int -> unit
      method set_name : string -> unit
      method set_no_show_all : bool -> unit
      method set_opacity : float -> unit
      method set_orientation : Gtk.Tags.orientation -> unit
      method set_parent : Gtk.container Gtk.obj option -> unit
      method set_receives_default : bool -> unit
      method set_resize_mode : Gtk.Tags.resize_mode -> unit
      method set_sensitive : bool -> unit
      method set_spacing : int -> unit
      method set_style : Gtk.style -> unit
      method set_tooltip_markup : string -> unit
      method set_tooltip_text : string -> unit
      method set_valign : GtkEnums.align -> unit
      method set_vexpand : bool -> unit
      method set_vexpand_set : bool -> unit
      method set_visible : bool -> unit
      method set_width_request : int -> unit
      method spacing : int
      method style : Gtk.style
      method tooltip_markup : string
      method tooltip_text : string
      method valign : GtkEnums.align
      method vexpand : bool
      method vexpand_set : bool
      method visible : bool
      method width_request : int
    end
  val button_box :
    Gtk.Tags.orientation ->
    ?spacing:int ->
    ?layout:Gtk.Tags.button_box_style ->
    ?border_width:int ->
    ?width:int ->
    ?height:int ->
    ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GPack.button_box
  class table :
    Gtk.table Gtk.obj ->
    object
      val obj : Gtk.table Gtk.obj
      method add : GObj.widget -> unit
      method all_children : GObj.widget list
      method app_paintable : bool
      method as_widget : Gtk.widget Gtk.obj
      method attach :
        left:int ->
        top:int ->
        ?right:int ->
        ?bottom:int ->
        ?expand:Gtk.Tags.expand_type ->
        ?fill:Gtk.Tags.expand_type ->
        ?shrink:Gtk.Tags.expand_type ->
        ?xpadding:int -> ?ypadding:int -> GObj.widget -> unit
      method border_width : int
      method can_default : bool
      method can_focus : bool
      method children : GObj.widget list
      method coerce : GObj.widget
      method col_spacings : int
      method columns : int
      method composite_child : bool
      method connect : GContainer.container_signals
      method destroy : unit -> unit
      method drag : GObj.drag_ops
      method events : GdkEnums.event_mask list
      method expand : bool
      method focus : GContainer.focus
      method focus_on_click : bool
      method get_oid : int
      method halign : GtkEnums.align
      method has_default : bool
      method has_focus : bool
      method has_tooltip : bool
      method height_request : int
      method hexpand : bool
      method hexpand_set : bool
      method homogeneous : bool
      method is_focus : bool
      method margin : int
      method margin_bottom : int
      method margin_end : int
      method margin_left : int
      method margin_right : int
      method margin_start : int
      method margin_top : int
      method misc : GObj.misc_ops
      method name : string
      method no_show_all : bool
      method opacity : float
      method parent : Gtk.container Gtk.obj option
      method receives_default : bool
      method remove : GObj.widget -> unit
      method resize_mode : Gtk.Tags.resize_mode
      method row_spacings : int
      method rows : int
      method scale_factor : int
      method sensitive : bool
      method set_app_paintable : bool -> unit
      method set_border_width : int -> unit
      method set_can_default : bool -> unit
      method set_can_focus : bool -> unit
      method set_col_spacing : int -> int -> unit
      method set_col_spacings : int -> unit
      method set_columns : int -> unit
      method set_events : GdkEnums.event_mask list -> unit
      method set_expand : bool -> unit
      method set_focus_on_click : bool -> unit
      method set_halign : GtkEnums.align -> unit
      method set_has_default : bool -> unit
      method set_has_focus : bool -> unit
      method set_has_tooltip : bool -> unit
      method set_height_request : int -> unit
      method set_hexpand : bool -> unit
      method set_hexpand_set : bool -> unit
      method set_homogeneous : bool -> unit
      method set_is_focus : bool -> unit
      method set_margin : int -> unit
      method set_margin_bottom : int -> unit
      method set_margin_end : int -> unit
      method set_margin_left : int -> unit
      method set_margin_right : int -> unit
      method set_margin_start : int -> unit
      method set_margin_top : int -> unit
      method set_name : string -> unit
      method set_no_show_all : bool -> unit
      method set_opacity : float -> unit
      method set_parent : Gtk.container Gtk.obj option -> unit
      method set_receives_default : bool -> unit
      method set_resize_mode : Gtk.Tags.resize_mode -> unit
      method set_row_spacing : int -> int -> unit
      method set_row_spacings : int -> unit
      method set_rows : int -> unit
      method set_sensitive : bool -> unit
      method set_style : Gtk.style -> unit
      method set_tooltip_markup : string -> unit
      method set_tooltip_text : string -> unit
      method set_valign : GtkEnums.align -> unit
      method set_vexpand : bool -> unit
      method set_vexpand_set : bool -> unit
      method set_visible : bool -> unit
      method set_width_request : int -> unit
      method style : Gtk.style
      method tooltip_markup : string
      method tooltip_text : string
      method valign : GtkEnums.align
      method vexpand : bool
      method vexpand_set : bool
      method visible : bool
      method width_request : int
    end
  val table :
    ?columns:int ->
    ?rows:int ->
    ?homogeneous:bool ->
    ?row_spacings:int ->
    ?col_spacings:int ->
    ?border_width:int ->
    ?width:int ->
    ?height:int ->
    ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GPack.table
  class grid :
    Gtk.grid Gtk.obj ->
    object
      val obj : Gtk.grid Gtk.obj
      method add : GObj.widget -> unit
      method all_children : GObj.widget list
      method app_paintable : bool
      method as_widget : Gtk.widget Gtk.obj
      method attach :
        left:int ->
        top:int -> ?width:int -> ?height:int -> GObj.widget -> unit
      method baseline_row : int
      method border_width : int
      method can_default : bool
      method can_focus : bool
      method children : GObj.widget list
      method coerce : GObj.widget
      method col_homogeneous : bool
      method col_spacings : int
      method composite_child : bool
      method connect : GContainer.container_signals
      method destroy : unit -> unit
      method drag : GObj.drag_ops
      method events : GdkEnums.event_mask list
      method expand : bool
      method focus : GContainer.focus
      method focus_on_click : bool
      method get_oid : int
      method halign : GtkEnums.align
      method has_default : bool
      method has_focus : bool
      method has_tooltip : bool
      method height_request : int
      method hexpand : bool
      method hexpand_set : bool
      method is_focus : bool
      method margin : int
      method margin_bottom : int
      method margin_end : int
      method margin_left : int
      method margin_right : int
      method margin_start : int
      method margin_top : int
      method misc : GObj.misc_ops
      method name : string
      method no_show_all : bool
      method opacity : float
      method parent : Gtk.container Gtk.obj option
      method receives_default : bool
      method remove : GObj.widget -> unit
      method resize_mode : Gtk.Tags.resize_mode
      method row_homogeneous : bool
      method row_spacings : int
      method scale_factor : int
      method sensitive : bool
      method set_app_paintable : bool -> unit
      method set_baseline_row : int -> unit
      method set_border_width : int -> unit
      method set_can_default : bool -> unit
      method set_can_focus : bool -> unit
      method set_col_homogeneous : bool -> unit
      method set_col_spacings : int -> unit
      method set_events : GdkEnums.event_mask list -> unit
      method set_expand : bool -> unit
      method set_focus_on_click : bool -> unit
      method set_halign : GtkEnums.align -> unit
      method set_has_default : bool -> unit
      method set_has_focus : bool -> unit
      method set_has_tooltip : bool -> unit
      method set_height_request : int -> unit
      method set_hexpand : bool -> unit
      method set_hexpand_set : bool -> unit
      method set_is_focus : bool -> unit
      method set_margin : int -> unit
      method set_margin_bottom : int -> unit
      method set_margin_end : int -> unit
      method set_margin_left : int -> unit
      method set_margin_right : int -> unit
      method set_margin_start : int -> unit
      method set_margin_top : int -> unit
      method set_name : string -> unit
      method set_no_show_all : bool -> unit
      method set_opacity : float -> unit
      method set_parent : Gtk.container Gtk.obj option -> unit
      method set_receives_default : bool -> unit
      method set_resize_mode : Gtk.Tags.resize_mode -> unit
      method set_row_homogeneous : bool -> unit
      method set_row_spacings : int -> unit
      method set_sensitive : bool -> unit
      method set_style : Gtk.style -> unit
      method set_tooltip_markup : string -> unit
      method set_tooltip_text : string -> unit
      method set_valign : GtkEnums.align -> unit
      method set_vexpand : bool -> unit
      method set_vexpand_set : bool -> unit
      method set_visible : bool -> unit
      method set_width_request : int -> unit
      method style : Gtk.style
      method tooltip_markup : string
      method tooltip_text : string
      method valign : GtkEnums.align
      method vexpand : bool
      method vexpand_set : bool
      method visible : bool
      method width_request : int
    end
  val grid :
    ?baseline_row:int ->
    ?row_homogeneous:bool ->
    ?col_homogeneous:bool ->
    ?row_spacings:int ->
    ?col_spacings:int ->
    ?border_width:int ->
    ?width:int ->
    ?height:int ->
    ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GPack.grid
  class fixed :
    Gtk.fixed Gtk.obj ->
    object
      val obj : Gtk.fixed Gtk.obj
      method add : GObj.widget -> unit
      method all_children : GObj.widget list
      method app_paintable : bool
      method as_widget : Gtk.widget Gtk.obj
      method border_width : int
      method can_default : bool
      method can_focus : bool
      method children : GObj.widget list
      method coerce : GObj.widget
      method composite_child : bool
      method connect : GContainer.container_signals
      method destroy : unit -> unit
      method drag : GObj.drag_ops
      method event : GObj.event_ops
      method events : GdkEnums.event_mask list
      method expand : bool
      method focus : GContainer.focus
      method focus_on_click : bool
      method get_oid : int
      method halign : GtkEnums.align
      method has_default : bool
      method has_focus : bool
      method has_tooltip : bool
      method height_request : int
      method hexpand : bool
      method hexpand_set : bool
      method is_focus : bool
      method margin : int
      method margin_bottom : int
      method margin_end : int
      method margin_left : int
      method margin_right : int
      method margin_start : int
      method margin_top : int
      method misc : GObj.misc_ops
      method move : GObj.widget -> x:int -> y:int -> unit
      method name : string
      method no_show_all : bool
      method opacity : float
      method parent : Gtk.container Gtk.obj option
      method put : GObj.widget -> x:int -> y:int -> unit
      method receives_default : bool
      method remove : GObj.widget -> unit
      method resize_mode : Gtk.Tags.resize_mode
      method scale_factor : int
      method sensitive : bool
      method set_app_paintable : bool -> unit
      method set_border_width : int -> unit
      method set_can_default : bool -> unit
      method set_can_focus : bool -> unit
      method set_events : GdkEnums.event_mask list -> unit
      method set_expand : bool -> unit
      method set_focus_on_click : bool -> unit
      method set_halign : GtkEnums.align -> unit
      method set_has_default : bool -> unit
      method set_has_focus : bool -> unit
      method set_has_tooltip : bool -> unit
      method set_height_request : int -> unit
      method set_hexpand : bool -> unit
      method set_hexpand_set : bool -> unit
      method set_is_focus : bool -> unit
      method set_margin : int -> unit
      method set_margin_bottom : int -> unit
      method set_margin_end : int -> unit
      method set_margin_left : int -> unit
      method set_margin_right : int -> unit
      method set_margin_start : int -> unit
      method set_margin_top : int -> unit
      method set_name : string -> unit
      method set_no_show_all : bool -> unit
      method set_opacity : float -> unit
      method set_parent : Gtk.container Gtk.obj option -> unit
      method set_receives_default : bool -> unit
      method set_resize_mode : Gtk.Tags.resize_mode -> unit
      method set_sensitive : bool -> unit
      method set_style : Gtk.style -> unit
      method set_tooltip_markup : string -> unit
      method set_tooltip_text : string -> unit
      method set_valign : GtkEnums.align -> unit
      method set_vexpand : bool -> unit
      method set_vexpand_set : bool -> unit
      method set_visible : bool -> unit
      method set_width_request : int -> unit
      method style : Gtk.style
      method tooltip_markup : string
      method tooltip_text : string
      method valign : GtkEnums.align
      method vexpand : bool
      method vexpand_set : bool
      method visible : bool
      method width_request : int
    end
  val fixed :
    ?border_width:int ->
    ?width:int ->
    ?height:int ->
    ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GPack.fixed
  class layout :
    ([> Gtk.layout ] as 'a) Gtk.obj ->
    object
      val obj : 'Gtk.obj
      method add : GObj.widget -> unit
      method all_children : GObj.widget list
      method app_paintable : bool
      method as_widget : Gtk.widget Gtk.obj
      method bin_window : Gdk.window
      method border_width : int
      method can_default : bool
      method can_focus : bool
      method children : GObj.widget list
      method coerce : GObj.widget
      method composite_child : bool
      method connect : GContainer.container_signals
      method destroy : unit -> unit
      method drag : GObj.drag_ops
      method event : GObj.event_ops
      method events : GdkEnums.event_mask list
      method expand : bool
      method focus : GContainer.focus
      method focus_on_click : bool
      method get_oid : int
      method hadjustment : GData.adjustment
      method halign : GtkEnums.align
      method has_default : bool
      method has_focus : bool
      method has_tooltip : bool
      method height : int
      method height_request : int
      method hexpand : bool
      method hexpand_set : bool
      method is_focus : bool
      method margin : int
      method margin_bottom : int
      method margin_end : int
      method margin_left : int
      method margin_right : int
      method margin_start : int
      method margin_top : int
      method misc : GObj.misc_ops
      method move : GObj.widget -> x:int -> y:int -> unit
      method name : string
      method no_show_all : bool
      method opacity : float
      method parent : Gtk.container Gtk.obj option
      method put : GObj.widget -> x:int -> y:int -> unit
      method receives_default : bool
      method remove : GObj.widget -> unit
      method resize_mode : Gtk.Tags.resize_mode
      method scale_factor : int
      method sensitive : bool
      method set_app_paintable : bool -> unit
      method set_border_width : int -> unit
      method set_can_default : bool -> unit
      method set_can_focus : bool -> unit
      method set_events : GdkEnums.event_mask list -> unit
      method set_expand : bool -> unit
      method set_focus_on_click : bool -> unit
      method set_hadjustment : GData.adjustment -> unit
      method set_halign : GtkEnums.align -> unit
      method set_has_default : bool -> unit
      method set_has_focus : bool -> unit
      method set_has_tooltip : bool -> unit
      method set_height : int -> unit
      method set_height_request : int -> unit
      method set_hexpand : bool -> unit
      method set_hexpand_set : bool -> unit
      method set_is_focus : bool -> unit
      method set_margin : int -> unit
      method set_margin_bottom : int -> unit
      method set_margin_end : int -> unit
      method set_margin_left : int -> unit
      method set_margin_right : int -> unit
      method set_margin_start : int -> unit
      method set_margin_top : int -> unit
      method set_name : string -> unit
      method set_no_show_all : bool -> unit
      method set_opacity : float -> unit
      method set_parent : Gtk.container Gtk.obj option -> unit
      method set_receives_default : bool -> unit
      method set_resize_mode : Gtk.Tags.resize_mode -> unit
      method set_sensitive : bool -> unit
      method set_style : Gtk.style -> unit
      method set_tooltip_markup : string -> unit
      method set_tooltip_text : string -> unit
      method set_vadjustment : GData.adjustment -> unit
      method set_valign : GtkEnums.align -> unit
      method set_vexpand : bool -> unit
      method set_vexpand_set : bool -> unit
      method set_visible : bool -> unit
      method set_width : int -> unit
      method set_width_request : int -> unit
      method style : Gtk.style
      method tooltip_markup : string
      method tooltip_text : string
      method vadjustment : GData.adjustment
      method valign : GtkEnums.align
      method vexpand : bool
      method vexpand_set : bool
      method visible : bool
      method width : int
      method width_request : int
    end
  val layout :
    ?hadjustment:GData.adjustment ->
    ?vadjustment:GData.adjustment ->
    ?layout_width:int ->
    ?layout_height:int ->
    ?border_width:int ->
    ?width:int ->
    ?height:int ->
    ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GPack.layout
  class notebook_signals :
    [> Gtk.notebook ] Gtk.obj ->
    object ('a)
      method add : callback:(GObj.widget -> unit) -> GtkSignal.id
      method after : 'a
      method change_current_page : callback:(int -> unit) -> GtkSignal.id
      method create_window :
        callback:(page:GObj.widget -> x:int -> y:int -> unit) -> GtkSignal.id
      method destroy : callback:(unit -> unit) -> GtkSignal.id
      method move_focus_out :
        callback:(GtkEnums.direction_type -> unit) -> GtkSignal.id
      method notify_border_width : callback:(int -> unit) -> GtkSignal.id
      method notify_enable_popup : callback:(bool -> unit) -> GtkSignal.id
      method notify_group_name : callback:(string -> unit) -> GtkSignal.id
      method notify_resize_mode :
        callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
      method notify_scrollable : callback:(bool -> unit) -> GtkSignal.id
      method notify_show_border : callback:(bool -> unit) -> GtkSignal.id
      method notify_show_tabs : callback:(bool -> unit) -> GtkSignal.id
      method notify_tab_pos :
        callback:(GtkEnums.position_type -> unit) -> GtkSignal.id
      method page_added :
        callback:(GObj.widget -> int -> unit) -> GtkSignal.id
      method page_removed :
        callback:(GObj.widget -> int -> unit) -> GtkSignal.id
      method page_reordered :
        callback:(GObj.widget -> int -> unit) -> GtkSignal.id
      method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
      method reorder_tab :
        callback:(GtkEnums.direction_type -> bool -> unit) -> GtkSignal.id
      method select_page : callback:(bool -> unit) -> GtkSignal.id
      method switch_page : callback:(int -> unit) -> GtkSignal.id
    end
  class notebook :
    Gtk.notebook Gtk.obj ->
    object
      val obj : Gtk.notebook Gtk.obj
      method add : GObj.widget -> unit
      method all_children : GObj.widget list
      method app_paintable : bool
      method append_page :
        ?tab_label:GObj.widget ->
        ?menu_label:GObj.widget -> GObj.widget -> int
      method as_notebook : Gtk.notebook Gtk.obj
      method as_widget : Gtk.widget Gtk.obj
      method border_width : int
      method can_default : bool
      method can_focus : bool
      method children : GObj.widget list
      method coerce : GObj.widget
      method composite_child : bool
      method connect : GPack.notebook_signals
      method current_page : int
      method destroy : unit -> unit
      method drag : GObj.drag_ops
      method enable_popup : bool
      method event : GObj.event_ops
      method events : GdkEnums.event_mask list
      method expand : bool
      method focus : GContainer.focus
      method focus_on_click : bool
      method get_menu_label : GObj.widget -> GObj.widget
      method get_nth_page : int -> GObj.widget
      method get_oid : int
      method get_tab_label : GObj.widget -> GObj.widget
      method get_tab_reorderable : GObj.widget -> bool
      method goto_page : int -> unit
      method group_name : string
      method halign : GtkEnums.align
      method has_default : bool
      method has_focus : bool
      method has_tooltip : bool
      method height_request : int
      method hexpand : bool
      method hexpand_set : bool
      method insert_page :
        ?tab_label:GObj.widget ->
        ?menu_label:GObj.widget -> ?pos:int -> GObj.widget -> int
      method is_focus : bool
      method margin : int
      method margin_bottom : int
      method margin_end : int
      method margin_left : int
      method margin_right : int
      method margin_start : int
      method margin_top : int
      method misc : GObj.misc_ops
      method name : string
      method next_page : unit -> unit
      method no_show_all : bool
      method opacity : float
      method page_num : GObj.widget -> int
      method parent : Gtk.container Gtk.obj option
      method prepend_page :
        ?tab_label:GObj.widget ->
        ?menu_label:GObj.widget -> GObj.widget -> int
      method previous_page : unit -> unit
      method receives_default : bool
      method remove : GObj.widget -> unit
      method remove_page : int -> unit
      method reorder_child : GObj.widget -> int -> unit
      method resize_mode : Gtk.Tags.resize_mode
      method scale_factor : int
      method scrollable : bool
      method sensitive : bool
      method set_app_paintable : bool -> unit
      method set_border_width : int -> unit
      method set_can_default : bool -> unit
      method set_can_focus : bool -> unit
      method set_enable_popup : bool -> unit
      method set_events : GdkEnums.event_mask list -> unit
      method set_expand : bool -> unit
      method set_focus_on_click : bool -> unit
      method set_group_name : string -> unit
      method set_halign : GtkEnums.align -> unit
      method set_has_default : bool -> unit
      method set_has_focus : bool -> unit
      method set_has_tooltip : bool -> unit
      method set_height_request : int -> unit
      method set_hexpand : bool -> unit
      method set_hexpand_set : bool -> unit
      method set_is_focus : bool -> unit
      method set_margin : int -> unit
      method set_margin_bottom : int -> unit
      method set_margin_end : int -> unit
      method set_margin_left : int -> unit
      method set_margin_right : int -> unit
      method set_margin_start : int -> unit
      method set_margin_top : int -> unit
      method set_name : string -> unit
      method set_no_show_all : bool -> unit
      method set_opacity : float -> unit
      method set_page :
        ?tab_label:GObj.widget ->
        ?menu_label:GObj.widget -> GObj.widget -> unit
      method set_parent : Gtk.container Gtk.obj option -> unit
      method set_receives_default : bool -> unit
      method set_resize_mode : Gtk.Tags.resize_mode -> unit
      method set_scrollable : bool -> unit
      method set_sensitive : bool -> unit
      method set_show_border : bool -> unit
      method set_show_tabs : bool -> unit
      method set_style : Gtk.style -> unit
      method set_tab_pos : Gtk.Tags.position_type -> unit
      method set_tab_reorderable : GObj.widget -> bool -> unit
      method set_tooltip_markup : string -> unit
      method set_tooltip_text : string -> unit
      method set_valign : GtkEnums.align -> unit
      method set_vexpand : bool -> unit
      method set_vexpand_set : bool -> unit
      method set_visible : bool -> unit
      method set_width_request : int -> unit
      method show_border : bool
      method show_tabs : bool
      method style : Gtk.style
      method tab_pos : Gtk.Tags.position_type
      method tooltip_markup : string
      method tooltip_text : string
      method valign : GtkEnums.align
      method vexpand : bool
      method vexpand_set : bool
      method visible : bool
      method width_request : int
    end
  val notebook :
    ?enable_popup:bool ->
    ?group_name:string ->
    ?scrollable:bool ->
    ?show_border:bool ->
    ?show_tabs:bool ->
    ?tab_pos:Gtk.Tags.position_type ->
    ?border_width:int ->
    ?width:int ->
    ?height:int ->
    ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GPack.notebook
  class paned :
    Gtk.paned Gtk.obj ->
    object
      val obj : Gtk.paned Gtk.obj
      method add : GObj.widget -> unit
      method add1 : GObj.widget -> unit
      method add2 : GObj.widget -> unit
      method all_children : GObj.widget list
      method app_paintable : bool
      method as_widget : Gtk.widget Gtk.obj
      method border_width : int
      method can_default : bool
      method can_focus : bool
      method child1 : GObj.widget
      method child2 : GObj.widget
      method children : GObj.widget list
      method coerce : GObj.widget
      method composite_child : bool
      method connect : GContainer.container_signals
      method destroy : unit -> unit
      method drag : GObj.drag_ops
      method event : GObj.event_ops
      method events : GdkEnums.event_mask list
      method expand : bool
      method focus : GContainer.focus
      method focus_on_click : bool
      method get_oid : int
      method halign : GtkEnums.align
      method has_default : bool
      method has_focus : bool
      method has_tooltip : bool
      method height_request : int
      method hexpand : bool
      method hexpand_set : bool
      method is_focus : bool
      method margin : int
      method margin_bottom : int
      method margin_end : int
      method margin_left : int
      method margin_right : int
      method margin_start : int
      method margin_top : int
      method max_position : int
      method min_position : int
      method misc : GObj.misc_ops
      method name : string
      method no_show_all : bool
      method opacity : float
      method orientation : Gtk.Tags.orientation
      method pack1 : ?resize:bool -> ?shrink:bool -> GObj.widget -> unit
      method pack2 : ?resize:bool -> ?shrink:bool -> GObj.widget -> unit
      method parent : Gtk.container Gtk.obj option
      method position : int
      method receives_default : bool
      method remove : GObj.widget -> unit
      method resize_mode : Gtk.Tags.resize_mode
      method scale_factor : int
      method sensitive : bool
      method set_app_paintable : bool -> unit
      method set_border_width : int -> unit
      method set_can_default : bool -> unit
      method set_can_focus : bool -> unit
      method set_events : GdkEnums.event_mask list -> unit
      method set_expand : bool -> unit
      method set_focus_on_click : bool -> unit
      method set_halign : GtkEnums.align -> unit
      method set_has_default : bool -> unit
      method set_has_focus : bool -> unit
      method set_has_tooltip : bool -> unit
      method set_height_request : int -> unit
      method set_hexpand : bool -> unit
      method set_hexpand_set : bool -> unit
      method set_is_focus : bool -> unit
      method set_margin : int -> unit
      method set_margin_bottom : int -> unit
      method set_margin_end : int -> unit
      method set_margin_left : int -> unit
      method set_margin_right : int -> unit
      method set_margin_start : int -> unit
      method set_margin_top : int -> unit
      method set_name : string -> unit
      method set_no_show_all : bool -> unit
      method set_opacity : float -> unit
      method set_orientation : Gtk.Tags.orientation -> unit
      method set_parent : Gtk.container Gtk.obj option -> unit
      method set_position : int -> unit
      method set_receives_default : bool -> unit
      method set_resize_mode : Gtk.Tags.resize_mode -> unit
      method set_sensitive : bool -> unit
      method set_style : Gtk.style -> unit
      method set_tooltip_markup : string -> unit
      method set_tooltip_text : string -> unit
      method set_valign : GtkEnums.align -> unit
      method set_vexpand : bool -> unit
      method set_vexpand_set : bool -> unit
      method set_visible : bool -> unit
      method set_width_request : int -> unit
      method style : Gtk.style
      method tooltip_markup : string
      method tooltip_text : string
      method valign : GtkEnums.align
      method vexpand : bool
      method vexpand_set : bool
      method visible : bool
      method width_request : int
    end
  val paned :
    Gtk.Tags.orientation ->
    ?border_width:int ->
    ?width:int ->
    ?height:int ->
    ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GPack.paned
  class stack :
    ([> Gtk.stack ] as 'a) Gtk.obj ->
    object
      val obj : 'Gtk.obj
      method add : GObj.widget -> unit
      method add_named : GObj.widget -> string -> unit
      method add_titled : GObj.widget -> string -> string -> unit
      method all_children : GObj.widget list
      method app_paintable : bool
      method as_stack : Gtk.stack Gtk.obj
      method as_widget : Gtk.widget Gtk.obj
      method border_width : int
      method can_default : bool
      method can_focus : bool
      method children : GObj.widget list
      method coerce : GObj.widget
      method composite_child : bool
      method destroy : unit -> unit
      method drag : GObj.drag_ops
      method events : GdkEnums.event_mask list
      method expand : bool
      method focus : GContainer.focus
      method focus_on_click : bool
      method get_child_by_name : string -> GObj.widget
      method get_oid : int
      method halign : GtkEnums.align
      method has_default : bool
      method has_focus : bool
      method has_tooltip : bool
      method height_request : int
      method hexpand : bool
      method hexpand_set : bool
      method hhomogeneous : bool
      method homogeneous : bool
      method interpolate_size : bool
      method is_focus : bool
      method margin : int
      method margin_bottom : int
      method margin_end : int
      method margin_left : int
      method margin_right : int
      method margin_start : int
      method margin_top : int
      method misc : GObj.misc_ops
      method name : string
      method no_show_all : bool
      method opacity : float
      method parent : Gtk.container Gtk.obj option
      method receives_default : bool
      method remove : GObj.widget -> unit
      method resize_mode : Gtk.Tags.resize_mode
      method scale_factor : int
      method sensitive : bool
      method set_app_paintable : bool -> unit
      method set_border_width : int -> unit
      method set_can_default : bool -> unit
      method set_can_focus : bool -> unit
      method set_events : GdkEnums.event_mask list -> unit
      method set_expand : bool -> unit
      method set_focus_on_click : bool -> unit
      method set_halign : GtkEnums.align -> unit
      method set_has_default : bool -> unit
      method set_has_focus : bool -> unit
      method set_has_tooltip : bool -> unit
      method set_height_request : int -> unit
      method set_hexpand : bool -> unit
      method set_hexpand_set : bool -> unit
      method set_hhomogeneous : bool -> unit
      method set_homogeneous : bool -> unit
      method set_interpolate_size : bool -> unit
      method set_is_focus : bool -> unit
      method set_margin : int -> unit
      method set_margin_bottom : int -> unit
      method set_margin_end : int -> unit
      method set_margin_left : int -> unit
      method set_margin_right : int -> unit
      method set_margin_start : int -> unit
      method set_margin_top : int -> unit
      method set_name : string -> unit
      method set_no_show_all : bool -> unit
      method set_opacity : float -> unit
      method set_parent : Gtk.container Gtk.obj option -> unit
      method set_receives_default : bool -> unit
      method set_resize_mode : Gtk.Tags.resize_mode -> unit
      method set_sensitive : bool -> unit
      method set_style : Gtk.style -> unit
      method set_tooltip_markup : string -> unit
      method set_tooltip_text : string -> unit
      method set_transition_duration : int -> unit
      method set_transition_type : Gtk.Tags.stack_transition_type -> unit
      method set_valign : GtkEnums.align -> unit
      method set_vexpand : bool -> unit
      method set_vexpand_set : bool -> unit
      method set_vhomogeneous : bool -> unit
      method set_visible : bool -> unit
      method set_visible_child : GObj.widget -> unit
      method set_visible_child_full :
        string -> Gtk.Tags.stack_transition_type -> unit
      method set_visible_child_name : string -> unit
      method set_width_request : int -> unit
      method style : Gtk.style
      method tooltip_markup : string
      method tooltip_text : string
      method transition_duration : int
      method transition_running : bool
      method transition_type : Gtk.Tags.stack_transition_type
      method valign : GtkEnums.align
      method vexpand : bool
      method vexpand_set : bool
      method vhomogeneous : bool
      method visible : bool
      method visible_child : GObj.widget
      method visible_child_name : string
      method width_request : int
    end
  val stack :
    ?hhomogeneous:bool ->
    ?homogeneous:bool ->
    ?interpolate_size:bool ->
    ?transition_duration:int ->
    ?transition_type:Gtk.Tags.stack_transition_type ->
    ?vhomogeneous:bool ->
    ?visible_child:Gtk.widget Gtk.obj ->
    ?visible_child_name:string ->
    ?border_width:int ->
    ?width:int ->
    ?height:int ->
    ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GPack.stack
  class stack_switcher :
    ([> Gtk.stack_switcher ] as 'a) Gtk.obj ->
    object
      val obj : 'Gtk.obj
      method add : GObj.widget -> unit
      method all_children : GObj.widget list
      method app_paintable : bool
      method as_widget : Gtk.widget Gtk.obj
      method border_width : int
      method can_default : bool
      method can_focus : bool
      method children : GObj.widget list
      method coerce : GObj.widget
      method composite_child : bool
      method connect : GContainer.container_signals
      method destroy : unit -> unit
      method drag : GObj.drag_ops
      method events : GdkEnums.event_mask list
      method expand : bool
      method focus : GContainer.focus
      method focus_on_click : bool
      method get_oid : int
      method halign : GtkEnums.align
      method has_default : bool
      method has_focus : bool
      method has_tooltip : bool
      method height_request : int
      method hexpand : bool
      method hexpand_set : bool
      method homogeneous : bool
      method icon_size : int
      method is_focus : bool
      method margin : int
      method margin_bottom : int
      method margin_end : int
      method margin_left : int
      method margin_right : int
      method margin_start : int
      method margin_top : int
      method misc : GObj.misc_ops
      method name : string
      method no_show_all : bool
      method opacity : float
      method orientation : Gtk.Tags.orientation
      method pack :
        ?from:Gtk.Tags.pack_type ->
        ?expand:bool -> ?fill:bool -> ?padding:int -> GObj.widget -> unit
      method parent : Gtk.container Gtk.obj option
      method receives_default : bool
      method remove : GObj.widget -> unit
      method reorder_child : GObj.widget -> pos:int -> unit
      method resize_mode : Gtk.Tags.resize_mode
      method scale_factor : int
      method sensitive : bool
      method set_app_paintable : bool -> unit
      method set_border_width : int -> unit
      method set_can_default : bool -> unit
      method set_can_focus : bool -> unit
      method set_child_packing :
        ?from:Gtk.Tags.pack_type ->
        ?expand:bool -> ?fill:bool -> ?padding:int -> GObj.widget -> unit
      method set_events : GdkEnums.event_mask list -> unit
      method set_expand : bool -> unit
      method set_focus_on_click : bool -> unit
      method set_halign : GtkEnums.align -> unit
      method set_has_default : bool -> unit
      method set_has_focus : bool -> unit
      method set_has_tooltip : bool -> unit
      method set_height_request : int -> unit
      method set_hexpand : bool -> unit
      method set_hexpand_set : bool -> unit
      method set_homogeneous : bool -> unit
      method set_icon_size : int -> unit
      method set_is_focus : bool -> unit
      method set_margin : int -> unit
      method set_margin_bottom : int -> unit
      method set_margin_end : int -> unit
      method set_margin_left : int -> unit
      method set_margin_right : int -> unit
      method set_margin_start : int -> unit
      method set_margin_top : int -> unit
      method set_name : string -> unit
      method set_no_show_all : bool -> unit
      method set_opacity : float -> unit
      method set_orientation : Gtk.Tags.orientation -> unit
      method set_parent : Gtk.container Gtk.obj option -> unit
      method set_receives_default : bool -> unit
      method set_resize_mode : Gtk.Tags.resize_mode -> unit
      method set_sensitive : bool -> unit
      method set_spacing : int -> unit
      method set_stack : Gtk.stack Gtk.obj -> unit
      method set_style : Gtk.style -> unit
      method set_tooltip_markup : string -> unit
      method set_tooltip_text : string -> unit
      method set_valign : GtkEnums.align -> unit
      method set_vexpand : bool -> unit
      method set_vexpand_set : bool -> unit
      method set_visible : bool -> unit
      method set_width_request : int -> unit
      method spacing : int
      method stack : Gtk.stack Gtk.obj
      method style : Gtk.style
      method tooltip_markup : string
      method tooltip_text : string
      method valign : GtkEnums.align
      method vexpand : bool
      method vexpand_set : bool
      method visible : bool
      method width_request : int
    end
  val stack_switcher :
    ?icon_size:int ->
    ?stack:Gtk.stack Gtk.obj ->
    ?border_width:int ->
    ?width:int ->
    ?height:int ->
    ?packing:(GObj.widget -> unit) ->
    ?show:bool -> unit -> GPack.stack_switcher
end