pub open spec fn u32_trailing_ones(i: u32) -> u32
Expand description
{ u32_trailing_zeros(!i) }
Equivalent to i.trailing_ones()
.
See axiom_u32_trailing_ones
for useful properties.
pub open spec fn u32_trailing_ones(i: u32) -> u32
{ u32_trailing_zeros(!i) }
Equivalent to i.trailing_ones()
.
See axiom_u32_trailing_ones
for useful properties.