def HsSha1.compress
import bend-osdev-hashes@0.1.0.0/sha1.bend as Sha1import Base
import bend-osdev-hashes@0.1.0.0/hashes.bend as Hs
265# One 64-byte block (a list of another length is read as zero words: the
266# engine passes only whole blocks)
267def HsSha1.compress(cv: Hs.HsW5, blk: List<&2, U32>) -> Hs.HsW5:
268 hs.sha1.rounds(Hs.hs.block.be(blk), cv)