def lanes_go

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

import Base

286def lanes_go(n: Nat, +l: Nat, +r: Nat, +s: Nat, +p: Nat, +q: Nat, +sl: Nat, +mm: Nat, +t: Nat, a: Array<U32>) -> Array<U32>:
287  match n:
288    case 0n:
289      a
290    case 1n+rest:
291      lanes_go(rest, Nat.add(l, 1n), r, s, p, q, sl, mm, t, segment(r, s, l, p, q, sl, mm, t, a))