Evince.Random

Definitions

shuffle : Nat -> List a -> List a

  Shuffle a list using a seed value.

Totality: total
Visibility: export