The standard library List_Shuffle api defines access to list randomizers.
The List_Shuffle api is implemented by the list_shuffle package.
The List_Shuffle api source code is in src/lib/src/list-shuffle.api.
The above information is manually maintained and may contain errors.
api {
shuffle : List(X ) -> List(X );
shuffle' : random::Random_Number_Generator -> List(X ) -> List(X );};