def HsMichael.compress
import bend-osdev-hashes@0.1.0.0/michael.bend as Michaelimport Base
import bend-osdev-hashes@0.1.0.0/hashes.bend as Hs
41# One four-byte word (any other length leaves the value unchanged)
42def HsMichael.compress(lr: Hs.HsW2, blk: List<&2, U32>) -> Hs.HsW2:
43 match blk:
44 case [b0, b1, b2, b3]:
45 hs.michael.word(lr, Hs.hs.le(b0, b1, b2, b3))
46 case _:
47 lr