random: pseudo-random number generator

value init : int -> unit

Initialize the generator, using the argument as a seed. The same seed will always yield the same sequence of numbers.

value full_init : int vect -> unit

Same as init but takes more data as seed. It is not useful to give more than 55 integers.

value int : int -> int

random__int bound returns a random number between 0 (inclusive) and bound (exclusive). bound must be positive and smaller than 2^{30}.

value float : float -> float

random__float bound returns a random number between 0 (inclusive) and bound (exclusive).