type CrVmacKey
import bend-osdev-crypto@0.1.0.0/vmac.bend as Vmacimport Base
356# A VMAC key: the cipher's key schedule and each VHASH word's keys (one for
357# a 64-bit tag, two for a 128-bit tag; opaque)
358type CrVmacKey<-K: Data> is Data:
359 CrVmacKey{k: K, iters: List<&2, CrVmIter>}