Function vstd::std_specs::bits::ex_u8_trailing_ones

source ·
pub exec fn ex_u8_trailing_ones(i: u8) -> r : u32
Expand description
ensures
r == u8_trailing_ones(i),