vstd
Module bits
Functions
In vstd::std_specs
?
Settings
Module
vstd
::
std_specs
::
bits
Copy item path
source
·
[
−
]
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