def HsMichael.init
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
60# the state before any byte, under a key
61def HsMichael.init(k: Hs.HsW2) -> Hs.HsMdState<Hs.HsW2>:
62 Hs.HsMd.start(~Hs.HsW2, k)