Function vstd::std_specs::bits::u64_trailing_zeros

source · 
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.