def rows_of7

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

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

152def rows_of7(r0: T.State, r1: T.State, r2: T.State, r3: T.State, r4: T.State, r5: T.State, r6: T.State, p: T.State & List<&2, U32>) -> A.Block:
153  (r7, ws) = p
154  A.B{r0, r1, r2, r3, r4, r5, r6, r7}