def CrCmac.mac
import bend-osdev-crypto@0.1.0.0/inst_cmac.bend as InstCmacimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M
import bend-osdev-cipher-modes@0.1.0.0/cmac.bend as CMc
17# the 16-byte tag of m
18def CrCmac.mac(~K: Data, ~enc: K -> M.CmBlock -> M.CmBlock, k: K, m: B.Octets) -> B.Octets:
19 CMc.Cmac.mac(~K, ~enc, k, m)