Expand description
Bit-arithmetic predicates and lemmas for unsigned words.
Functionsยง
- group_
u8_ bit_ algebra - group_
u16_ bit_ algebra - group_
u32_ bit_ algebra - group_
u64_ bit_ algebra - group_
u128_ bit_ algebra - group_
usize_ bit_ algebra - lemma_
u8_ allones_ bit_ it_ set - lemma_
u8_ and_ zero - lemma_
u8_ clearbit_ bit_ unchanged - lemma_
u8_ clearbit_ not_ bit_ is_ set - lemma_
u8_ masked_ bit_ clear - lemma_
u8_ masked_ bit_ keep - lemma_
u8_ setbit_ bit_ is_ set - lemma_
u8_ setbit_ bit_ unchanged - lemma_
u8_ unit_ le_ shl - lemma_
u16_ allones_ bit_ it_ set - lemma_
u16_ and_ zero - lemma_
u16_ clearbit_ bit_ unchanged - lemma_
u16_ clearbit_ not_ bit_ is_ set - lemma_
u16_ masked_ bit_ clear - lemma_
u16_ masked_ bit_ keep - lemma_
u16_ setbit_ bit_ is_ set - lemma_
u16_ setbit_ bit_ unchanged - lemma_
u16_ unit_ le_ shl - lemma_
u32_ allones_ bit_ it_ set - lemma_
u32_ and_ zero - lemma_
u32_ clearbit_ bit_ unchanged - lemma_
u32_ clearbit_ not_ bit_ is_ set - lemma_
u32_ masked_ bit_ clear - lemma_
u32_ masked_ bit_ keep - lemma_
u32_ setbit_ bit_ is_ set - lemma_
u32_ setbit_ bit_ unchanged - lemma_
u32_ unit_ le_ shl - lemma_
u64_ allones_ bit_ it_ set - lemma_
u64_ and_ zero - lemma_
u64_ clearbit_ bit_ unchanged - lemma_
u64_ clearbit_ not_ bit_ is_ set - lemma_
u64_ masked_ bit_ clear - lemma_
u64_ masked_ bit_ keep - lemma_
u64_ setbit_ bit_ is_ set - lemma_
u64_ setbit_ bit_ unchanged - lemma_
u64_ unit_ le_ shl - lemma_
u128_ allones_ bit_ it_ set - lemma_
u128_ and_ zero - lemma_
u128_ clearbit_ bit_ unchanged - lemma_
u128_ clearbit_ not_ bit_ is_ set - lemma_
u128_ masked_ bit_ clear - lemma_
u128_ masked_ bit_ keep - lemma_
u128_ setbit_ bit_ is_ set - lemma_
u128_ setbit_ bit_ unchanged - lemma_
u128_ unit_ le_ shl - lemma_
usize_ allones_ bit_ it_ set - lemma_
usize_ and_ zero - lemma_
usize_ clearbit_ bit_ unchanged - lemma_
usize_ clearbit_ not_ bit_ is_ set - lemma_
usize_ masked_ bit_ clear - lemma_
usize_ masked_ bit_ keep - lemma_
usize_ setbit_ bit_ is_ set - lemma_
usize_ setbit_ bit_ unchanged - lemma_
usize_ unit_ le_ shl - u8_
bit_ is_ set - u16_
bit_ is_ set - u32_
bit_ is_ set - u64_
bit_ is_ set - u128_
bit_ is_ set - usize_
bit_ is_ set