def shuffle.fin
import bend-kit-random@0.1.0.1/random.bend as Randomimport Base
131def shuffle.fin(~T: Data, +m: U32, ar: Array<T> & Rng) -> List<&2, T> & Rng:
132 (a, r) = ar
133 (shuffle.read(~T, U32.to_nat(m), Array.get(T, a, m), Nil{}), r)
import bend-kit-random@0.1.0.1/random.bend as Randomimport Base
131def shuffle.fin(~T: Data, +m: U32, ar: Array<T> & Rng) -> List<&2, T> & Rng:
132 (a, r) = ar
133 (shuffle.read(~T, U32.to_nat(m), Array.get(T, a, m), Nil{}), r)