Hashes.hs.md.push: def of bend-osdev-hashes@0.1.0.0
Import: import bend-osdev-hashes@0.1.0.0/hashes.bend as Hashes
Lines 117-122 of bend-osdev-hashes@0.1.0.0/hashes.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-hashes@0.1.0.0/hashes.bend&start_line=117&end_line=122

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-word64@0.1.0.0/word64.bend as W

def hs.md.push(~C: Data, ~compress: C -> List<&2, U32> -> C, full: Bool, cv: C, buf: List<&2, U32>, cnt: U32, nb: W.W64) -> HsMdState<C>:
  match full:
    case True{}:
      HsMdState{compress(cv, B.rev(buf)), Nil{}, 0, W.W64.add(nb, W.W64.one())}
    case False{}:
      HsMdState{cv, buf, U32.add(cnt, 1), nb}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=rev
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/hashes.bend&name=HsMdState
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64.add
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64.one