vstd
In vstd::std_specs::bits
?
Settings
Function
vstd
::
std_specs
::
bits
::
ex_u8_trailing_ones
Copy item path
source
·
[
−
]
pub
exec
fn ex_u8_trailing_ones(i:
u8
) ->
r :
u32
Expand description
ensures
r == u8_trailing_ones(i),