module Widget:sig
..end
val cast : 'a Gobject.obj -> Gtk.widget Gtk.obj
module P:sig
..end
module S:sig
..end
val destroy : [> `widget ] Gtk.obj -> unit
val set_double_buffered : [> `widget ] Gtk.obj -> bool -> unit
val style_get_property : [> `widget ] Gtk.obj -> string -> Gobject.g_value