def CrHmac.mac
import bend-osdev-crypto@0.1.0.0/hmac.bend as Hmacimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
56# The tag of m, in one call
57def CrHmac.mac(~digest: B.Octets -> B.Octets, kk: CrHmacKey, m: B.Octets) -> B.Octets:
58 match kk:
59 case CrHmacKey{i, o}:
60 digest(B.Octets.append(o, digest(B.Octets.append(i, m))))