Module Core_kernel.Splittable_random.State

Create a new t non-deterministically.

Create a new t that will return identical results to any other t created with that integer.

perturb t salt adds the entropy of salt to t.

Create a copy of t that will return the same random samples as t.

split t produces a new state that behaves deterministically (i.e. only depending on the state of t), but pseudo-independently from t. This operation mutates t, i.e. t will return different values than if this hadn't been called.