def HsSm3.final
import bend-osdev-hashes@0.1.0.0/sm3.bend as Sm3import 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
563# the digest of the bytes so far: the padding, then the eight words
564# big-endian
565def HsSm3.final(s: Hs.HsMdState<Hs.HsW8>) -> B.Octets:
566 Hs.HsMd.final_md(~Hs.HsW8, ~HsSm3.compress, ~63, ~Hs.hs.len.be, ~Hs.HsW8.be, s)