Echainiv.AdEchainiv.key: def of bend-osdev-aead@0.1.0.0
Import: import bend-osdev-aead@0.1.0.0/echainiv.bend as Echainiv
Lines 50-55 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=50&end_line=55

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

# The key from the AEAD's raw key, the IV cipher's raw key and the salt
def AdEchainiv.key(~KA: Data, ~KC: Data, ~akey: B.Octets -> Result<&2, &2, Cr.CrError, KA>, ~ckey: B.Octets -> Result<&2, &2, Cr.CrError, KC>, ao: B.Octets, co: B.Octets, salt: B.Octets) -> Result<&2, &2, Cr.CrError, AdEchainivKey<KA, KC>>:
  do Result<&2, &2, Cr.CrError, AdEchainivKey<KA, KC>>:
    ka : KA <- akey(ao)
    kc : KC <- ckey(co)
    return AdEchainivKey{ka, kc, salt}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result.pure
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/echainiv.bend&name=AdEchainivKey
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/crypto.bend&name=CrError