
Module Randommodule Random:
Pseudorandom number generator (PRNG).
val init :
Initialize the generator, using the argument as a seed.
The same seed will always yield the same sequence of numbers.
val full_init :
Same as
Random.init but takes more data as seed.val self_init :
Initialize the generator with a moreorless random seed chosen
in a systemdependent way.
val bits :
Return 30 random bits in a nonnegative integer.
val int : Random.int bound returns a random integer between 0 (inclusive)
and bound (exclusive). bound must be more than 0 and less
than 2^{30}.val float : Random.float bound returns a random floatingpoint number
between 0 (inclusive) and bound (exclusive). If bound is
negative, the result is negative. If bound is 0, the result
is 0.val bool : Random.bool () returns true or false with probability 0.5 each.type state
Values of this type are used to store the current state of the
generator.
val get_state :
Returns the current state of the generator. This is useful for
checkpointing computations that use the PRNG.
val set_state :
Resets the state of the generator to some previous state returned by
Random.get_state . 