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 toggled : [> `checkmenuitem ] Gtk.obj -> unit
    = "ml_gtk_check_menu_item_toggled"
end