|Rand.Seed||Part of Rand module|
|Syntax|| Rand.Seed (seed : nat4, seq : 1 .. 10)|
|Description|| The Rand.Seed procedure restarts one of the sequences generated by Rand.Next. Each restart with the same seed causes Rand.Next to produce the same sequence for the given sequence.|
|Status|| Exported qualified.|
This means that you can only call the function by calling Rand.Seed, not by calling Seed.
|See also|| Rand.Next, Rand.Int, Rand.Real, and Rand.Set.|