def HsRipemd160.final
import bend-osdev-hashes@0.1.0.0/ripemd160.bend as Ripemd160import 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
389# the digest of the bytes so far: MD4's padding, then the five words
390# little-endian
391def HsRipemd160.final(s: Hs.HsMdState<Hs.HsW5>) -> B.Octets:
392 Hs.HsMd.final_md(~Hs.HsW5, ~HsRipemd160.compress, ~63, ~Hs.hs.len.le, ~Hs.HsW5.le, s)