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_seeded
rng_seeded
procedure · 1 overload
since 0.30.0
Source
A generator started from
seed
.
seed: the starting state; one seed always gives the same numbers.
rng_seeded
:: (seed:
u64
) ->
Rng
A generator started from
seed
.
Parameters
seed
:
u64
the starting state; one seed always gives the same numbers.
Returns
Rng
See also
rng_u64
rng_below