def put_lane
bend-collections-laws-crypto@1.0.0.0 · spec/crypto/argon2/blamka.bend:114
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/blamka.bend as Blamka
import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/types.bend as T
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/spec/crypto/blake/blake2b.bend as B
114def put_lane(+b: A.Block, +n: Nat, x: T.Lane) -> A.Block:
115 +i = Nat.div(n, 16n)
116 put_row(b, i, B.put(row(b, i), Nat.mod(n, 16n), x))