The standard library list_shuffle package randomizes lists.
It is implemented via a sort routine which uses a pseudo-random number generator as the comparison function. The PRNG used can be left implicit to use a default provided one, or may be supplied explicitly.
The list_shuffle package implements the List_Shuffle API.
The list_shuffle package source code is in src/lib/src/list-shuffle.pkg.
The above information is manually maintained and may contain errors.
List_Shuffle