# Module GtkMenuProps.Menu

    module Menu: sig .. end

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

    module P: sig .. end

    module S: sig .. end

    val create : Gtk.menu Gobject.param list -> Gtk.menu Gtk.obj

    val popup : [> `menu ] Gtk.obj ->
           [> `menushell ] Gtk.optobj ->
           [> `menuitem ] Gtk.optobj -> button:int -> time:int32 -> unit

    val popup_at : [> `menu ] Gtk.obj ->
           ?button:int ->
           ?time:int32 -> (x:int -> y:int -> pushed_in:bool -> int * int * bool) -> unit

    val popdown : [> `menu ] Gtk.obj -> unit

    val get_active : [> `menu ] Gtk.obj -> Gtk.widget Gtk.obj

    val set_active : [> `menu ] Gtk.obj -> int -> unit

    val set_accel_group : [> `menu ] Gtk.obj -> Gtk.accel_group -> unit

    val get_accel_group : [> `menu ] Gtk.obj -> Gtk.accel_group

    val set_accel_path : [> `menu ] Gtk.obj -> string -> unit

    val attach_to_widget : [> `menu ] Gtk.obj -> [> `widget ] Gtk.obj -> unit

    val get_attach_widget : [> `menu ] Gtk.obj -> Gtk.widget Gtk.obj

    val detach : [> `menu ] Gtk.obj -> unit