Compress.init: 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 114-117 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=114&end_line=117

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

def init(h: T.State,t0: U32,t1: U32,last: Bool) -> T.Vector:
  match h:
    case T.H{h0,h1,h2,h3,h4,h5,h6,h7}:
      T.V{h0,h1,h2,h3,h4,h5,h6,h7,1779033703,3144134277,1013904242,2773480762,U32.xor(1359893119,t0),U32.xor(2600822924,t1),flag(last),1541459225}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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/compress.bend&name=flag
  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