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
![[previous]](../icons/left.gif)
![[up]](../icons/up.gif)
![[next]](../icons/right.gif)
![[contents]](../icons/contents.gif)
![[index]](../icons/index.gif)