Compress.column9: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/blake/blake2b/compress.bend as Compress
Lines 542-546 of bend-collections@1.0.0.0/src/crypto/blake/blake2b/compress.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/blake/blake2b/compress.bend&start_line=542&end_line=546

import Base
import bend-collections@1.0.0.0/src/crypto/blake/blake2b/types.bend as T

# Round 9, G on the four columns: (0,4,8,12), (1,5,9,13), (2,6,10,14), (3,7,11,15).
def column9(v: T.State, x0: T.Lane, x1: T.Lane, x2: T.Lane, x3: T.Lane, x4: T.Lane, x5: T.Lane, x6: T.Lane, x7: T.Lane) -> T.State:
  match v:
    case T.V{s0,s1,s2,s3,s4,s5,s6,s7,s8,s9,s10,s11,s12,s13,s14,s15}:
      column9_1(g(s0,s4,s8,s12,x0,x1),s1,s2,s3,s5,s6,s7,s9,s10,s11,s13,s14,s15,x2,x3,x4,x5,x6,x7)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/blake/blake2b/compress.bend&name=column9_1
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/blake/blake2b/compress.bend&name=g
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/blake/blake2b/types.bend&name=Lane
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/blake/blake2b/types.bend&name=State