def slices_go

bend-collections-laws-crypto@1.0.0.0 · src/crypto/argon2/argon2.bend:293

import Base

293def slices_go(n: Nat, +s: Nat, +r: Nat, +p: Nat, +q: Nat, +sl: Nat, +mm: Nat, +t: Nat, a: Array<U32>) -> Array<U32>:
294  match n:
295    case 0n:
296      a
297    case 1n+rest:
298      slices_go(rest, Nat.add(s, 1n), r, p, q, sl, mm, t, lanes_go(p, 0n, r, s, p, q, sl, mm, t, a))