def rows_of5
bend-collections-laws-crypto@1.0.0.0 · spec/crypto/argon2/argon2.bend:160
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/argon2.bend as Argon2
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
160def rows_of5(r0: T.State, r1: T.State, r2: T.State, r3: T.State, r4: T.State, p: T.State & List<&2, U32>) -> A.Block:
161 (r5, ws) = p
162 rows_of6(r0, r1, r2, r3, r4, r5, row_of(ws))