Rand.SeedPart 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.