Next:
Parameter Utilities
Up:
Built-in Parameters
Previous:
Exiting
Random Numbers
current-pseudo-random-generator
: parameter for a pseudo-random number generator (see section
4.3
) used by
random
and
random-seed
.
PLT