Module Random5.StateSource

Sourcetype t

The type of PRNG states.

Sourceval make : int array -> t

Create a new state and initialize it with the given seed.

Sourceval make_self_init : unit -> t

Create a new state and initialize it with a random seed chosen in a system-dependent way. The seed is obtained as described in Random5.self_init.

Sourceval copy : t -> t

Return a copy of the given state.

Sourceval bits : t -> int
Sourceval int : t -> int -> int
Sourceval full_int : t -> int -> int
Sourceval int32 : t -> Int32.t -> Int32.t
Sourceval nativeint : t -> Nativeint.t -> Nativeint.t
Sourceval int64 : t -> Int64.t -> Int64.t
Sourceval float : t -> float -> float
Sourceval bool : t -> bool
Sourceval bits32 : t -> Int32.t
Sourceval bits64 : t -> Int64.t
Sourceval nativebits : t -> Nativeint.t

These functions are the same as the basic functions, except that they use (and update) the given PRNG state instead of the default one.

Sourceval split : t -> t

Draw a fresh PRNG state from the given PRNG state. The new PRNG is statistically independent from the given PRNG. Data can be drawn from both PRNGs, in any order, without risk of correlation. Both PRNGs can be split later, arbitrarily many times.