sig
  val cast : 'a Gobject.obj -> Gtk.dialog Gtk.obj
  module P :
    sig val has_separator : ([> `dialog ], bool) Gobject.property end
  module S :
    sig
      val close : ([> `dialog ], unit -> unit) GtkSignal.t
      val response : ([> `dialog ], int -> unit) GtkSignal.t
    end
  val create : Gtk.dialog Gobject.param list -> Gtk.dialog Gtk.obj
end