# Module GtkMenuProps.MenuShell

    module MenuShell: sig .. end

    val cast : 'a Gobject.obj -> Gtk.menu_shell Gtk.obj

    module S: sig .. end

    val append : [> `menushell ] Gtk.obj -> [> `widget ] Gtk.obj -> unit

    val prepend : [> `menushell ] Gtk.obj -> [> `widget ] Gtk.obj -> unit

    val insert : [> `menushell ] Gtk.obj -> [> `widget ] Gtk.obj -> pos:int -> unit

    val deactivate : [> `menushell ] Gtk.obj -> unit