type AdAegisKey
import bend-osdev-aead@0.1.0.0/aegis128.bend as Aegis128import Base
import bend-osdev-aead@0.1.0.0/aesround.bend as R
223# An AEGIS-128 key: the key block and the AES S-box (opaque)
224type AdAegisKey is Data:
225 AdAegisKey{k: R.AdBlk, sb: R.AdSbox}