Module vstd::std_specs::bits

Functions

• axiom_u8_leading_ones
• axiom_u8_leading_zeros
• axiom_u8_trailing_ones
• axiom_u8_trailing_zeros
• axiom_u16_leading_ones
• axiom_u16_leading_zeros
• axiom_u16_trailing_ones
• axiom_u16_trailing_zeros
• axiom_u32_leading_ones
• axiom_u32_leading_zeros
• axiom_u32_trailing_ones
• axiom_u32_trailing_zeros
• axiom_u64_leading_ones
• axiom_u64_leading_zeros
• axiom_u64_trailing_ones
• axiom_u64_trailing_zeros
• ex_u8_leading_ones
• ex_u8_leading_zeros
• ex_u8_trailing_ones
• ex_u8_trailing_zeros
• ex_u16_leading_ones
• ex_u16_leading_zeros
• ex_u16_trailing_ones
• ex_u16_trailing_zeros
• ex_u32_leading_ones
• ex_u32_leading_zeros
• ex_u32_trailing_ones
• ex_u32_trailing_zeros
• ex_u64_leading_ones
• ex_u64_leading_zeros
• ex_u64_trailing_ones
• ex_u64_trailing_zeros
• group_bits_axioms
• u8_leading_ones
• u8_leading_zeros
• u8_trailing_ones
• u8_trailing_zeros
• u16_leading_ones
• u16_leading_zeros
• u16_trailing_ones
• u16_trailing_zeros
• u32_leading_ones
• u32_leading_zeros
• u32_trailing_ones
• u32_trailing_zeros
• u64_leading_ones
• u64_leading_zeros
• u64_trailing_ones
• u64_trailing_zeros