Function vstd::std_specs::bits::u8_leading_zeros

source · 
pub closed spec fn u8_leading_zeros(i: u8) -> u32
Expand description

Equivalent to i.leading_zeros(). See axiom_u8_leading_zeros for useful properties.