Echainiv.AdEchainivKey: type of bend-osdev-aead@0.1.0.0
Import: import bend-osdev-aead@0.1.0.0/echainiv.bend as Echainiv
Lines 27-29 of bend-osdev-aead@0.1.0.0/echainiv.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-aead@0.1.0.0/echainiv.bend&start_line=27&end_line=29

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

# The key: the AEAD's key, the IV cipher's key schedule, and the salt
type AdEchainivKey<-KA: Data, -KC: Data> is Data:
  AdEchainivKey{ka: KA, kc: KC, salt: B.Octets}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets