def mic
import bend-osdev-hashes@0.1.0.0/check.bend as Checkimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-hashes@0.1.0.0/michael.bend as MI
44def mic(k: B.Octets, m: B.Octets) -> String:
45 mic.of(MI.HsMichael.key(k), m)