Module GtkMenuProps.CheckMenuItem
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 toggled : [> `checkmenuitem ] Gtk.obj -> unit