def get

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

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

24# Block b; the memory is handed back.
25def get(+b: Nat, a: Array<U32>) -> Array<U32> & A.Block:
26  +last = Nat.add(Nat.mul(b, 256n), 255n)
27  read_fin(rd(255n, last, Nil{}, Array.get(U32, a, U32.from_nat(last))))