pub const HAS_MODALITY_KIND: u64 = _; // 497_738_355_038_803_414u64
The modal predicate that scopes an identifier’s kind.