def shuffled_list

mlbend-split@0.1.1.0 · main.bend:49

import Base
import bend-kit-random@0.1.0.1/random.bend as Rand

49# The list of a pair: the list, and the generator that comes after it.
50def shuffled_list(pair: List<&2, Nat> & Rand.Rng) -> List<&2, Nat>:
51  (xs, r) = pair
52  xs