sig
  val cast : 'a Gobject.obj -> Gtk.check_menu_item Gtk.obj
  module P :
    sig
      val active : ([> `checkmenuitem ], bool) Gobject.property
      val inconsistent : ([> `checkmenuitem ], bool) Gobject.property
    end
  module S :
    sig val toggled : ([> `checkmenuitem ], unit -> unit) GtkSignal.t end
  val create :
    Gtk.check_menu_item Gobject.param list -> Gtk.check_menu_item Gtk.obj
  external set_show_toggle : [> `checkmenuitem ] Gtk.obj -> bool -> unit
    = "ml_gtk_check_menu_item_set_show_toggle"
  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 ->
    ?show_toggle:bool ->
    ?right_justified:bool -> [> `checkmenuitem | `menuitem ] Gtk.obj -> unit
end