def passes_go

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

import Base

300def passes_go(n: Nat, +r: Nat, +p: Nat, +q: Nat, +sl: Nat, +mm: Nat, +t: Nat, a: Array<U32>) -> Array<U32>:
301  match n:
302    case 0n:
303      a
304    case 1n+rest:
305      passes_go(rest, Nat.add(r, 1n), p, q, sl, mm, t, slices_go(4n, 0n, r, p, q, sl, mm, t, a))