([> `gtk ] as 'a) Gtk.obj ->
object
  val obj : 'Gtk.obj
  method destroy : unit -> unit
  method get_oid : int
end