Skip to main content
u64_set_bits
vstd_
extra
In vstd_
extra::
external::
bits
vstd_extra
::
external
::
bits
Function
u64_
set_
bits
Copy item path
Source
pub
closed spec
fn u64_set_bits(w:
u64
) -> int
Expand description
The number of set bits in a
u64
word.