Module bits

Source

Functions§

_verus_external_fn_specification_19_u8_32__58__58__32_trailing__zeros
_verus_external_fn_specification_20_u8_32__58__58__32_trailing__ones
_verus_external_fn_specification_21_u8_32__58__58__32_leading__zeros
_verus_external_fn_specification_22_u8_32__58__58__32_leading__ones
_verus_external_fn_specification_23_u16_32__58__58__32_trailing__zeros
_verus_external_fn_specification_24_u16_32__58__58__32_trailing__ones
_verus_external_fn_specification_25_u16_32__58__58__32_leading__zeros
_verus_external_fn_specification_26_u16_32__58__58__32_leading__ones
_verus_external_fn_specification_27_u32_32__58__58__32_trailing__zeros
_verus_external_fn_specification_28_u32_32__58__58__32_trailing__ones
_verus_external_fn_specification_29_u32_32__58__58__32_leading__zeros
_verus_external_fn_specification_30_u32_32__58__58__32_leading__ones
_verus_external_fn_specification_31_u64_32__58__58__32_trailing__zeros
_verus_external_fn_specification_32_u64_32__58__58__32_trailing__ones
_verus_external_fn_specification_33_u64_32__58__58__32_leading__zeros
_verus_external_fn_specification_34_u64_32__58__58__32_leading__ones
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
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