'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 end