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).