Sets the random seed
Select a random element from a vector
Select a random element from a list, or Nothing if the list is empty
Generates a random Integer in a given range
Generate a random number in Fin (S k
)
Note that rndFin k takes values 0, 1, ..., k.