def HsSha1.final

bend-osdev-hashes@0.1.0.0 · sha1.bend:276

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

276# the digest of the bytes so far: the padding of section 5.1.1, then the
277# five words big-endian
278def HsSha1.final(s: Hs.HsMdState<Hs.HsW5>) -> B.Octets:
279  Hs.HsMd.final_md(~Hs.HsW5, ~HsSha1.compress, ~63, ~Hs.hs.len.be, ~Hs.HsW5.be, s)