vstd::std_specs::bits

Function u32_trailing_zeros

Source 
pub closed spec fn u32_trailing_zeros(i: u32) -> u32
Expand description

Equivalent to i.trailing_zeros(). See axiom_u32_trailing_zeros for useful properties.