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

import Base

def update(h: Hasher, +bytes: List<&2, U32>) -> Hasher:
  match h:
    case Sha256H{st, len}:
      Sha256H{step256(st, bytes, 48n), Nat.add(len, List.length(&2, U32, bytes))}
    case Sha512H{st, len}:
      Sha512H{step512(st, bytes, 64n), Nat.add(len, List.length(&2, U32, bytes))}
    case Sha3H{st, len}:
      Sha3H{step3(st, bytes, 24n), Nat.add(len, List.length(&2, U32, bytes))}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/hash.bend&name=Hasher
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/hash.bend&name=step256
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/hash.bend&name=step3
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/hash.bend&name=step512