type AdSeqivKey
import bend-osdev-aead@0.1.0.0/seqiv.bend as Seqivimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
30# The key: the AEAD's key and the salt
31type AdSeqivKey<-KA: Data> is Data:
32 AdSeqivKey{ka: KA, salt: B.Octets}
import bend-osdev-aead@0.1.0.0/seqiv.bend as Seqivimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
30# The key: the AEAD's key and the salt
31type AdSeqivKey<-KA: Data> is Data:
32 AdSeqivKey{ka: KA, salt: B.Octets}