Gtk.widget Gtk.obj ->
object ('a)
  method after : 'a
  method destroy : callback:(unit -> unit) -> GtkSignal.id
  method hide : callback:(unit -> unit) -> GtkSignal.id
  method map : callback:(unit -> unit) -> GtkSignal.id
  method parent_set : callback:(GObj.widget option -> unit) -> GtkSignal.id
  method realize : callback:(unit -> unit) -> GtkSignal.id
  method selection_get :
    callback:(GObj.selection_context -> info:int -> time:int32 -> unit) ->
    GtkSignal.id
  method selection_received :
    callback:(GObj.selection_data -> time:int32 -> unit) -> GtkSignal.id
  method show : callback:(unit -> unit) -> GtkSignal.id
  method size_allocate : callback:(Gtk.rectangle -> unit) -> GtkSignal.id
  method state_changed :
    callback:(Gtk.Tags.state_type -> unit) -> GtkSignal.id
  method style_set : callback:(unit -> unit) -> GtkSignal.id
  method unmap : callback:(unit -> unit) -> GtkSignal.id
  method unrealize : callback:(unit -> unit) -> GtkSignal.id
end