type AdEchainivKey
import bend-osdev-aead@0.1.0.0/echainiv.bend as Echainivimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
27# The key: the AEAD's key, the IV cipher's key schedule, and the salt
28type AdEchainivKey<-KA: Data, -KC: Data> is Data:
29 AdEchainivKey{ka: KA, kc: KC, salt: B.Octets}