vstd::std_specs::bits

Function u64_trailing_ones

Source 
pub open spec fn u64_trailing_ones(i: u64) -> u32
Expand description
{ u64_trailing_zeros(!i) as u32 }

Equivalent to i.trailing_ones(). See axiom_u64_trailing_ones for useful properties.