Hash.digest: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/hash.bend as Hash
Lines 535-542 of bend-collections@1.0.0.0/src/crypto/hash.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/hash.bend&start_line=535&end_line=542

import Base

def digest(h: Hasher) -> List<&2, U32>:
  match h:
    case Sha256H{st, len}:
      finish256(st, len, 48n)
    case Sha512H{st, len}:
      finish512(st, len, 64n)
    case Sha3H{st, len}:
      finish3(st, len, 24n)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/hash.bend&name=Hasher
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/hash.bend&name=finish256
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/hash.bend&name=finish3
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/hash.bend&name=finish512