def set

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

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

37# The memory with block b replaced by v.
38def set(+b: Nat, v: A.Block, a: Array<U32>) -> Array<U32>:
39  wr(SB.words(v), Nat.mul(b, 256n), a)