Vmac.CrVmacKey: type of bend-osdev-crypto@0.1.0.0
Import: import bend-osdev-crypto@0.1.0.0/vmac.bend as Vmac
Lines 356-359 of bend-osdev-crypto@0.1.0.0/vmac.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-crypto@0.1.0.0/vmac.bend&start_line=356&end_line=359

import Base

# A VMAC key: the cipher's key schedule and each VHASH word's keys (one for
# a 64-bit tag, two for a 128-bit tag; opaque)
type CrVmacKey<-K: Data> is Data:
  CrVmacKey{k: K, iters: List<&2, CrVmIter>}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/vmac.bend&name=CrVmIter