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