pub exec fn ex_u16_trailing_ones(i: u16) -> r : u32
Expand description
ensures
r == u16_trailing_ones(i),