Node:Random_Seed Intrinsic, Next:Range Intrinsic, Previous:Random_Number Intrinsic, Up:Table of Intrinsic Functions
This intrinsic is not yet implemented.
The name is, however, reserved as an intrinsic.
Use EXTERNAL Random_Seed
to use this name for an
external procedure.