def HsMd5.final

bend-osdev-hashes@0.1.0.0 · md5.bend:122

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

122# the digest of the bytes so far: the padding and the length, then the four
123# words little-endian
124def HsMd5.final(s: Hs.HsMdState<Hs.HsW4>) -> B.Octets:
125  Hs.HsMd.final_md(~Hs.HsW4, ~HsMd5.compress, ~63, ~Hs.hs.len.le, ~Hs.HsW4.le, s)