jacket
Search the docs
/
API
Tools
Playground
0.31.0
Testing module
← Testing
Property
rng_seeded
rng_u64
rng_below
rng_range
rng_chance
rng_unit
generator
assume
run_property
On this page
See also
std
/
Extensions
/
Testing
/
rng_u64
rng_u64
procedure · 1 overload
since 0.30.0
Source
The next 64 random bits.
rng: the generator to draw from and advance.
rng_u64
:: (rng: *
Rng
) ->
u64
The next 64 random bits.
Parameters
rng
:
*
Rng
the generator to draw from and advance.
Returns
u64
See also
rng_seeded
rng_below
rng_range