([> Gtk.widget ] as 'a) Gtk.obj -> object val obj : 'a Gtk.obj method as_widget : Gtk.widget Gtk.obj method coerce : widget method destroy : unit -> unit method drag : drag_ops method get_oid : int method misc : misc_ops end