Compress.round8: 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 518-520 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=518&end_line=520

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

# Round 8 uses the message schedule SIGMA[8], fixed at compile time.
def round8(v: T.State, m0: T.Lane, m1: T.Lane, m2: T.Lane, m3: T.Lane, m4: T.Lane, m5: T.Lane, m6: T.Lane, m7: T.Lane, m8: T.Lane, m9: T.Lane, m10: T.Lane, m11: T.Lane, m12: T.Lane, m13: T.Lane, m14: T.Lane, m15: T.Lane) -> T.State:
  diagonal8(column8(v,m6,m15,m14,m9,m11,m3,m0,m8),m12,m2,m13,m7,m1,m4,m10,m5)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/blake/blake2b/compress.bend&name=column8
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/blake/blake2b/compress.bend&name=diagonal8
  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