Expand description
Properties of bitwise operators.
Functions§
- lemma_
low_ bits_ mask_ div2 - lemma_
low_ bits_ mask_ is_ odd - lemma_
low_ bits_ mask_ unfold - lemma_
low_ bits_ mask_ values - lemma_
u8_ low_ bits_ mask_ is_ mod - lemma_
u8_ mul_ pow2_ le_ max_ iff_ max_ shr - lemma_
u8_ pow2_ no_ overflow - lemma_
u8_ shl_ is_ mul - lemma_
u8_ shr_ is_ div - lemma_
u16_ low_ bits_ mask_ is_ mod - lemma_
u16_ mul_ pow2_ le_ max_ iff_ max_ shr - lemma_
u16_ pow2_ no_ overflow - lemma_
u16_ shl_ is_ mul - lemma_
u16_ shr_ is_ div - lemma_
u32_ low_ bits_ mask_ is_ mod - lemma_
u32_ mul_ pow2_ le_ max_ iff_ max_ shr - lemma_
u32_ pow2_ no_ overflow - lemma_
u32_ shl_ is_ mul - lemma_
u32_ shr_ is_ div - lemma_
u64_ low_ bits_ mask_ is_ mod - lemma_
u64_ mul_ pow2_ le_ max_ iff_ max_ shr - lemma_
u64_ pow2_ no_ overflow - lemma_
u64_ shl_ is_ mul - lemma_
u64_ shr_ is_ div - low_
bits_ mask