Blake2s.digest: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/blake/blake2s/blake2s.bend as Blake2s
Lines 183-195 of bend-collections@1.0.0.0/src/crypto/blake/blake2s/blake2s.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/blake/blake2s/blake2s.bend&start_line=183&end_line=195

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

def digest(h: T.State) -> Array<U32>:
  match h:
    case T.H{h0,h1,h2,h3,h4,h5,h6,h7}:
      a = Array.new(U32,3n,0)
      a = Array.set(U32,a,0,h0)
      a = Array.set(U32,a,1,h1)
      a = Array.set(U32,a,2,h2)
      a = Array.set(U32,a,3,h3)
      a = Array.set(U32,a,4,h4)
      a = Array.set(U32,a,5,h5)
      a = Array.set(U32,a,6,h6)
      a = Array.set(U32,a,7,h7)
      a

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