vstd
In vstd::
std_
specs::
bits
Functions
_verus_external_fn_specification_16_u8_32__58__58__32_trailing__zeros
_verus_external_fn_specification_17_u8_32__58__58__32_trailing__ones
_verus_external_fn_specification_18_u8_32__58__58__32_leading__zeros
_verus_external_fn_specification_19_u8_32__58__58__32_leading__ones
_verus_external_fn_specification_20_u16_32__58__58__32_trailing__zeros
_verus_external_fn_specification_21_u16_32__58__58__32_trailing__ones
_verus_external_fn_specification_22_u16_32__58__58__32_leading__zeros
_verus_external_fn_specification_23_u16_32__58__58__32_leading__ones
_verus_external_fn_specification_24_u32_32__58__58__32_trailing__zeros
_verus_external_fn_specification_25_u32_32__58__58__32_trailing__ones
_verus_external_fn_specification_26_u32_32__58__58__32_leading__zeros
_verus_external_fn_specification_27_u32_32__58__58__32_leading__ones
_verus_external_fn_specification_28_u64_32__58__58__32_trailing__zeros
_verus_external_fn_specification_29_u64_32__58__58__32_trailing__ones
_verus_external_fn_specification_30_u64_32__58__58__32_leading__zeros
_verus_external_fn_specification_31_u64_32__58__58__32_leading__ones
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
axiom_u8_leading_ones
axiom_u8_leading_zeros
axiom_u8_trailing_ones
axiom_u8_trailing_zeros
group_bits_axioms
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
u8_leading_ones
u8_leading_zeros
u8_trailing_ones
u8_trailing_zeros
vstd
::
std_specs
::
bits
Function
group_bits_axioms
Copy item path
Settings
Help
Summary
Source
pub
broadcast group
fn group_bits_axioms()
Expand description
broadcast group