sig
  class assistant_signals :
    ([> Gtk.assistant ] as 'a) Gtk.obj ->
    object ('b)
      val obj : 'Gtk.obj
      method add : callback:(GObj.widget -> unit) -> GtkSignal.id
      method after : 'b
      method apply : callback:(unit -> unit) -> GtkSignal.id
      method cancel : callback:(unit -> unit) -> GtkSignal.id
      method close : callback:(unit -> unit) -> GtkSignal.id
      method destroy : callback:(unit -> unit) -> GtkSignal.id
      method leave : callback:(unit -> unit) -> GtkSignal.id
      method notify_border_width : callback:(int -> unit) -> GtkSignal.id
      method notify_resize_mode :
        callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
      method prepare : callback:(unit -> unit) -> GtkSignal.id
      method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
    end
  class assistant :
    ([> Gtk.assistant ] as 'a) Gtk.obj ->
    object
      val obj : 'Gtk.obj
      method accept_focus : bool
      method activate_default : unit -> bool
      method activate_focus : unit -> bool
      method add : GObj.widget -> unit
      method add_accel_group : Gtk.accel_group -> unit
      method add_action_widget : Gtk.widget Gtk.obj -> unit
      method all_children : GObj.widget list
      method allow_grow : bool
      method allow_shrink : bool
      method append_page :
        ?page_type:GtkEnums.assistant_page_type ->
        ?title:string ->
        ?header_image:GdkPixbuf.pixbuf ->
        ?side_image:GdkPixbuf.pixbuf ->
        ?complete:bool -> Gtk.widget Gtk.obj -> int
      method as_widget : Gtk.widget Gtk.obj
      method as_window : Gtk.window Gtk.obj
      method border_width : int
      method child : GObj.widget
      method children : GObj.widget list
      method coerce : GObj.widget
      method connect : GAssistant.assistant_signals
      method current_page : int
      method decorated : bool
      method default_height : int
      method default_width : int
      method deiconify : unit -> unit
      method deletable : bool
      method destroy : unit -> unit
      method destroy_with_parent : bool
      method drag : GObj.drag_ops
      method event : GObj.event_ops
      method focus : GContainer.focus
      method focus_on_map : bool
      method get_oid : int
      method gravity : GdkEnums.gravity
      method has_toplevel_focus : bool
      method icon : GdkPixbuf.pixbuf option
      method icon_name : string
      method iconify : unit -> unit
      method insert_page :
        ?page_type:GtkEnums.assistant_page_type ->
        ?title:string ->
        ?header_image:GdkPixbuf.pixbuf ->
        ?side_image:GdkPixbuf.pixbuf ->
        ?complete:bool -> position:int -> Gtk.widget Gtk.obj -> int
      method is_active : bool
      method kind : Gtk.Tags.window_type
      method misc : GObj.misc_ops
      method modal : bool
      method move : x:int -> y:int -> unit
      method n_pages : int
      method nth_page : int -> Gtk.widget Gtk.obj
      method opacity : float
      method page_complete : Gtk.widget Gtk.obj -> bool
      method page_header_image : Gtk.widget Gtk.obj -> GdkPixbuf.pixbuf
      method page_side_image : Gtk.widget Gtk.obj -> GdkPixbuf.pixbuf
      method page_title : Gtk.widget Gtk.obj -> string
      method page_type : Gtk.widget Gtk.obj -> GtkEnums.assistant_page_type
      method parse_geometry : string -> bool
      method position : Gtk.Tags.window_position
      method prepend_page :
        ?page_type:GtkEnums.assistant_page_type ->
        ?title:string ->
        ?header_image:GdkPixbuf.pixbuf ->
        ?side_image:GdkPixbuf.pixbuf ->
        ?complete:bool -> Gtk.widget Gtk.obj -> int
      method present : unit -> unit
      method remove : GObj.widget -> unit
      method remove_action_widget : Gtk.widget Gtk.obj -> unit
      method resizable : bool
      method resize : width:int -> height:int -> unit
      method resize_mode : Gtk.Tags.resize_mode
      method role : string
      method screen : Gdk.screen
      method set_accept_focus : bool -> unit
      method set_allow_grow : bool -> unit
      method set_allow_shrink : bool -> unit
      method set_border_width : int -> unit
      method set_current_page : int -> unit
      method set_decorated : bool -> unit
      method set_default_height : int -> unit
      method set_default_size : width:int -> height:int -> unit
      method set_default_width : int -> unit
      method set_deletable : bool -> unit
      method set_destroy_with_parent : bool -> unit
      method set_focus_on_map : bool -> unit
      method set_geometry_hints :
        ?min_size:int * int ->
        ?max_size:int * int ->
        ?base_size:int * int ->
        ?aspect:float * float ->
        ?resize_inc:int * int ->
        ?win_gravity:Gdk.Tags.gravity ->
        ?pos:bool -> ?user_pos:bool -> ?user_size:bool -> GObj.widget -> unit
      method set_gravity : Gdk.Tags.gravity -> unit
      method set_icon : GdkPixbuf.pixbuf option -> unit
      method set_icon_name : string -> unit
      method set_modal : bool -> unit
      method set_opacity : float -> unit
      method set_page_complete : Gtk.widget Gtk.obj -> bool -> unit
      method set_page_header_image :
        Gtk.widget Gtk.obj -> GdkPixbuf.pixbuf -> unit
      method set_page_side_image :
        Gtk.widget Gtk.obj -> GdkPixbuf.pixbuf -> unit
      method set_page_title : Gtk.widget Gtk.obj -> string -> unit
      method set_page_type :
        Gtk.widget Gtk.obj -> GtkEnums.assistant_page_type -> unit
      method set_position : Gtk.Tags.window_position -> unit
      method set_resizable : bool -> unit
      method set_resize_mode : Gtk.Tags.resize_mode -> unit
      method set_role : string -> unit
      method set_screen : Gdk.screen -> unit
      method set_skip_pager_hint : bool -> unit
      method set_skip_taskbar_hint : bool -> unit
      method set_title : string -> unit
      method set_transient_for : Gtk.window Gtk.obj -> unit
      method set_type_hint : Gdk.Tags.window_type_hint -> unit
      method set_urgency_hint : bool -> unit
      method set_wm_class : string -> unit
      method set_wm_name : string -> unit
      method show : unit -> unit
      method skip_pager_hint : bool
      method skip_taskbar_hint : bool
      method title : string
      method type_hint : Gdk.Tags.window_type_hint
      method update_buttons_state : unit
      method urgency_hint : bool
    end
  val assistant :
    ?title:string ->
    ?allow_grow:bool ->
    ?allow_shrink:bool ->
    ?decorated:bool ->
    ?deletable:bool ->
    ?focus_on_map:bool ->
    ?icon:GdkPixbuf.pixbuf ->
    ?icon_name:string ->
    ?modal:bool ->
    ?position:Gtk.Tags.window_position ->
    ?resizable:bool ->
    ?screen:Gdk.screen ->
    ?type_hint:GdkEnums.window_type_hint ->
    ?urgency_hint:bool ->
    ?wm_name:string ->
    ?wm_class:string ->
    ?border_width:int ->
    ?width:int -> ?height:int -> ?show:bool -> unit -> GAssistant.assistant
end