Function vstd::std_specs::bits::u8_trailing_ones

source · 
pub open spec fn u8_trailing_ones(i: u8) -> u32
Expand description
{ u8_trailing_zeros(!i) }

Equivalent to i.trailing_ones(). See axiom_u8_trailing_ones for useful properties.