sig
  val cast : 'Gobject.obj -> Gtk.message_dialog Gtk.obj
  module P :
    sig
      val buttons :
        ([> `messagedialog ], GtkEnums.buttons_type) Gobject.property
      val message_type :
        ([> `messagedialog ], GtkEnums.message_type) Gobject.property
    end
end