def cmac.feed
import bend-osdev-cipher-modes@0.1.0.0/cmac.bend as Cmacimport Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M
56def cmac.feed(~K: Data, ~enc: K -> M.CmBlock -> M.CmBlock, +k: K, xs: List<&2, U32>, s: CmacState) -> CmacState:
57 match xs:
58 case Nil{}:
59 s
60 case Con{h, t}:
61 cmac.feed(~K, ~enc, k, t, cmac.step(~K, ~enc, k, s, h))