Function vstd::std_specs::bits::ex_u32_leading_ones

source · 
pub exec fn ex_u32_leading_ones(i: u32) -> u32
Expand description
ensures
r == u32_leading_ones(i),