Module Splittable_random.State
val create : Base.Random.State.t -> t
Create a new
t
seeded from the given random state. This allows nondeterministic initialization, for example in the case that the input state was created usingRandom.State.make_self_init
.Constructors like
create
andof_int
should be called once at the start of a randomized computation and the resulting state should be threaded through. Repeatedly creating splittable random states from seeds in the middle of computation can defeat the SPRNG's splittable properties.