Blamka.cols: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/blamka.bend as Blamka
Lines 193-198 of bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/blamka.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/blamka.bend&start_line=193&end_line=198

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

# (Z0, Z8, .., Z56) <- P(Q0, Q8, .., Q56), .., (Z7, .., Z63) <- P(Q7, .., Q63):
# P on each column.
def cols(b: A.Block) -> A.Block:
  match b:
    case A.B{r0, r1, r2, r3, r4, r5, r6, r7}:
      permute(A.B{r0, r1, r2, r3, r4, r5, r6, r7}, cols_all())

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/blamka.bend&name=cols_all
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/blamka.bend&name=permute
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/types.bend&name=Block