Sub.words: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/sub.bend as Sub
Lines 15-19 of bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/sub.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/sub.bend&start_line=15&end_line=19

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

# The 256 words of a block, row after row.
def words(b: A.Block) -> List<&2,U32>:
  match b:
    case A.B{r0,r1,r2,r3,r4,r5,r6,r7}:
      app(row_words(r0),app(row_words(r1),app(row_words(r2),app(row_words(r3),app(row_words(r4),app(row_words(r5),app(row_words(r6),app(row_words(r7),Nil{}))))))))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/sub.bend&name=app
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/sub.bend&name=row_words
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/types.bend&name=Block