Skip to main content

Module bits

vstd_extra::external

Module bits 

Source
Expand description

Specifications for bit-related standard-library functions.

Functions§

_verus_external_fn_specification_0_u64_32__58__58__32_count__ones⚠
lemma_u64_set_bits_nonzero
u64_set_bits