# Module GtkMenuProps.CheckMenuItem

    module CheckMenuItem: sig .. end

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

    module P: sig .. end

    module S: sig .. end

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

    val set_show_toggle : [> `checkmenuitem ] Gtk.obj -> bool -> unit

    val toggled : [> `checkmenuitem ] Gtk.obj -> unit