Ripemd160.HsRipemd160.final: def of bend-osdev-hashes@0.1.0.0
Import: import bend-osdev-hashes@0.1.0.0/ripemd160.bend as Ripemd160
Lines 389-392 of bend-osdev-hashes@0.1.0.0/ripemd160.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-hashes@0.1.0.0/ripemd160.bend&start_line=389&end_line=392

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-hashes@0.1.0.0/hashes.bend as Hs

# the digest of the bytes so far: MD4's padding, then the five words
# little-endian
def HsRipemd160.final(s: Hs.HsMdState<Hs.HsW5>) -> B.Octets:
  Hs.HsMd.final_md(~Hs.HsW5, ~HsRipemd160.compress, ~63, ~Hs.hs.len.le, ~Hs.HsW5.le, s)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/hashes.bend&name=HsMd.final_md
  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-hashes@0.1.0.0/hashes.bend&name=HsW5
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/hashes.bend&name=HsW5.le
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/hashes.bend&name=hs.len.le
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/ripemd160.bend&name=HsRipemd160.compress