def wr

bend-collections@1.0.0.0 · src/crypto/argon2/memory.bend:29

import Base

29# The words stored from word i on.
30def wr(ws: List<&2, U32>, +i: Nat, a: Array<U32>) -> Array<U32>:
31  match ws:
32    case Nil{}:
33      a
34    case w <> rest:
35      wr(rest, Nat.add(i, 1n), Array.set(U32, a, U32.from_nat(i), w))