## 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-2015,
## released per terms of SMLNJ-COPYRIGHT.