module P: sig .. end
sig
end
val active : ([> `checkmenuitem ], bool) Gobject.property
([> `checkmenuitem ], bool) Gobject.property
val inconsistent : ([> `checkmenuitem ], bool) Gobject.property