def flat
bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/argon2/memory.bend:265
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/memory.bend as Memory
import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as SC
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
265def flat(mem: List<&2, A.Block>) -> List<&2, U32>:
266 match mem:
267 case Nil{}:
268 Nil{}
269 case b <> rest:
270 SC.append(U32, SB.words(b), flat(rest))