class check_menu_item :A menu item with a check box[> Gtk.check_menu_item ] Gtk.obj ->object..end
val obj : ([> Gtk.check_menu_item ] as 'a) Gtk.objmethod active : boolmethod event : GObj.event_opsmethod connect : check_menu_item_signalsmethod set_active : bool -> unitmethod set_inconsistent : bool -> unitmethod inconsistent : boolmethod set_show_toggle : bool -> unitmethod toggled : unit -> unit