sig
  val cast : 'a Gobject.obj -> Gtk.menu Gtk.obj
  module P = GtkMenuProps.Menu.P
  module S = GtkMenuProps.Menu.S
  val create : Gtk.menu Gobject.param list -> Gtk.menu Gtk.obj
  external popup_at :
    [> `menu ] Gtk.obj ->
    ?button:int ->
    ?time:int32 ->
    (x:int -> y:int -> pushed_in:bool -> int * int * bool) -> unit
    = "ml_gtk_menu_popup_at"
  external popdown : [> `menu ] Gtk.obj -> unit = "ml_gtk_menu_popdown"
  external get_active : [> `menu ] Gtk.obj -> Gtk.widget Gtk.obj
    = "ml_gtk_menu_get_active"
  external set_active : [> `menu ] Gtk.obj -> int -> unit
    = "ml_gtk_menu_set_active"
  external set_accel_group : [> `menu ] Gtk.obj -> Gtk.accel_group -> unit
    = "ml_gtk_menu_set_accel_group"
  external get_accel_group : [> `menu ] Gtk.obj -> Gtk.accel_group
    = "ml_gtk_menu_get_accel_group"
  external set_accel_path : [> `menu ] Gtk.obj -> string -> unit
    = "ml_gtk_menu_set_accel_path"
  external attach_to_widget :
    [> `menu ] Gtk.obj -> [> `widget ] Gtk.obj -> unit
    = "ml_gtk_menu_attach_to_widget"
  external get_attach_widget : [> `menu ] Gtk.obj -> Gtk.widget Gtk.obj
    = "ml_gtk_menu_get_attach_widget"
  external detach : [> `menu ] Gtk.obj -> unit = "ml_gtk_menu_detach"
  val popup :
    ?parent_menu:[> `menushell ] Gobject.obj ->
    ?parent_item:[> `menuitem ] Gobject.obj ->
    [> `menu ] Gtk.obj -> button:int -> time:int32 -> unit
  val set :
    ?active:int -> ?accel_group:Gtk.accel_group -> [> `menu ] Gtk.obj -> unit
end