A generator started from seed.
a := rng_seeded(42);
b := rng_seeded(42);
assert(rng_u64(*a) == rng_u64(*b));- seed: the starting state; one seed always gives the same numbers.
rng_seeded :: (seed: u64) -> RngA generator started from seed.
Parameters
- seed: u64
- the starting state; one seed always gives the same numbers.
Returns
a := rng_seeded(42);
b := rng_seeded(42);
assert(rng_u64(*a) == rng_u64(*b));