Buffer.digest: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/sha/packed/buffer.bend as Buffer
Lines 5-9 of bend-collections@1.0.0.0/src/crypto/sha/packed/buffer.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/sha/packed/buffer.bend&start_line=5&end_line=9

import Base
import bend-collections@1.0.0.0/src/crypto/sha/state.bend as S

# Exactly eight big-endian U32 words (32 bytes), with no list allocation.
def digest(s: S.State) -> Array<U32>:
  match s:
    case S.H{a,b,c,d,e,f,g,h}:
      ANode{ANode{ANode{ALeaf{a},ALeaf{b}},ANode{ALeaf{c},ALeaf{d}}},ANode{ANode{ALeaf{e},ALeaf{f}},ANode{ALeaf{g},ALeaf{h}}}}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  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/sha/state.bend&name=State