([> Gtk.widget ] as 'a) Gtk.obj ->
object ('b)
  val after : bool
  val obj : 'a Gtk.obj
  method after : 'b
  method private connect :
    'c. ('a, 'c) GtkSignal.t -> callback:'c -> GtkSignal.id
  method destroy : callback:(unit -> unit) -> GtkSignal.id
end