def shuffle.fin

bend-kit-random@0.1.0.1 · random.bend:131

import bend-kit-random@0.1.0.1/random.bend as Random
import 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)

Uses (9)

Used by (1)