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