sig
  val cast : 'a Gobject.obj -> Gtk.check_menu_item Gtk.obj
  module P = GtkMenuProps.CheckMenuItem.P
  module S = GtkMenuProps.CheckMenuItem.S
  external toggled : [> `checkmenuitem ] Gtk.obj -> unit
    = "ml_gtk_check_menu_item_toggled"
  external create_with_label : string -> Gtk.check_menu_item Gtk.obj
    = "ml_gtk_check_menu_item_new_with_label"
  external create_with_mnemonic : string -> Gtk.check_menu_item Gtk.obj
    = "ml_gtk_check_menu_item_new_with_mnemonic"
  val create :
    ?use_mnemonic:bool ->
    ?label:string -> unit -> Gtk.check_menu_item Gtk.obj
  val set : ?active:bool -> [> `checkmenuitem ] Gobject.obj -> unit
end