def HsMichael.mic

bend-osdev-hashes@0.1.0.0 · michael.bend:76

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

76# The tag in one call
77def HsMichael.mic(k: Hs.HsW2, o: B.Octets) -> B.Octets:
78  HsMichael.final(HsMichael.update(HsMichael.init(k), o))