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.
pub closed spec fn u8_leading_zeros(i: u8) -> u32
Equivalent to i.leading_zeros()
.
See axiom_u8_leading_zeros
for useful properties.