seeded_pcg32

guppylang.std.random.seeded_pcg32(seed: nat) → PCG32

Create a new PCG32 generator from a seed value.

The seed selects one of 2**63 possible PCG32 sequences. The same seed always produces the same stream of values. Different PCG32 values do not share state, so using one generator does not affect another.

Parameters:

seed – Sequence identifier used to initialize the generator.