Blake2b.digest: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/blake/blake2b/blake2b.bend as Blake2b
Lines 296-316 of bend-collections@1.0.0.0/src/crypto/blake/blake2b/blake2b.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/blake/blake2b/blake2b.bend&start_line=296&end_line=316

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

def digest(h: T.Chain) -> Array<U32>:
  match h:
    case T.H{T.W{l0,u0},T.W{l1,u1},T.W{l2,u2},T.W{l3,u3},T.W{l4,u4},T.W{l5,u5},T.W{l6,u6},T.W{l7,u7}}:
      a = Array.new(U32,4n,0)
      a = Array.set(U32,a,0,l0)
      a = Array.set(U32,a,1,u0)
      a = Array.set(U32,a,2,l1)
      a = Array.set(U32,a,3,u1)
      a = Array.set(U32,a,4,l2)
      a = Array.set(U32,a,5,u2)
      a = Array.set(U32,a,6,l3)
      a = Array.set(U32,a,7,u3)
      a = Array.set(U32,a,8,l4)
      a = Array.set(U32,a,9,u4)
      a = Array.set(U32,a,10,l5)
      a = Array.set(U32,a,11,u5)
      a = Array.set(U32,a,12,l6)
      a = Array.set(U32,a,13,u6)
      a = Array.set(U32,a,14,l7)
      a = Array.set(U32,a,15,u7)
      a

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