def slices_go

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/argon2/argon2.bend:374

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/types.bend as A

374def slices_go(n: Nat, +s: Nat, +r: Nat, +p: Nat, +q: Nat, +sl: Nat, +mm: Nat, +t: Nat, +mem: List<&2, A.Block>) -> List<&2, A.Block>:
375  match n:
376    case 0n:
377      mem
378    case 1n+rest:
379      slices_go(rest, Nat.add(s, 1n), r, p, q, sl, mm, t, lanes_go(p, 0n, r, s, p, q, sl, mm, t, mem))