## list-shuffle.api
# Compiled by:
# src/lib/std/standard.lib# The generic list shuffle interface.
api List_Shuffle {
shuffle: List(X) -> List(X);
shuffle': random::Random_Number_Generator -> List(X) -> List(X);
};
## COPYRIGHT (c) 2008 Jeffrey S Prothero
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2012,
## released under Gnu Public Licence version 3.