def CrHmac.finish
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
77def CrHmac.finish(~H: Data, ~init: H, ~update: H -> B.Octets -> H, ~final: H -> B.Octets, s: CrHmacState<H>) -> B.Octets:
78 match s:
79 case CrHmacState{h, o}:
80 final(update(update(init, o), final(h)))