def set

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

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

205def set(mem: List<&2, A.Block>, +b: Nat, v: A.Block) -> List<&2, A.Block>:
206  C.update(A.Block, mem, b, v)