pub closed spec fn u64_trailing_zeros(i: u64) -> u32
Expand description
Equivalent to i.trailing_zeros()
.
See axiom_u64_trailing_zeros
for useful properties.
pub closed spec fn u64_trailing_zeros(i: u64) -> u32
Equivalent to i.trailing_zeros()
.
See axiom_u64_trailing_zeros
for useful properties.