Compress.finish: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/blake/blake2s/compress.bend as Compress
Lines 119-122 of bend-collections@1.0.0.0/src/crypto/blake/blake2s/compress.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/blake/blake2s/compress.bend&start_line=119&end_line=122

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

def finish(h: T.State,v: T.Vector) -> T.State:
  match h v:
    case T.H{h0,h1,h2,h3,h4,h5,h6,h7} T.V{v0,v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15}:
      T.H{U32.xor(U32.xor(h0,v0),v8),U32.xor(U32.xor(h1,v1),v9),U32.xor(U32.xor(h2,v2),v10),U32.xor(U32.xor(h3,v3),v11),U32.xor(U32.xor(h4,v4),v12),U32.xor(U32.xor(h5,v5),v13),U32.xor(U32.xor(h6,v6),v14),U32.xor(U32.xor(h7,v7),v15)}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.xor
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/blake/blake2s/types.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/blake/blake2s/types.bend&name=Vector