def AdAuthenc.key_of

bend-osdev-aead@0.1.0.0 · authenc.bend:97

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

97# The key from the two raw keys
98def AdAuthenc.key_of(~KE: Data, ~KM: Data, ~ekey: B.Octets -> Result<&2, &2, Cr.CrError, KE>, ~mkey: B.Octets -> Result<&2, &2, Cr.CrError, KM>, eo: B.Octets, mo: B.Octets) -> Result<&2, &2, Cr.CrError, AdAuthencKey<KE, KM>>:
99  do Result<&2, &2, Cr.CrError, AdAuthencKey<KE, KM>>:
100    ke : KE <- ekey(eo)
101    km : KM <- mkey(mo)
102    return AdAuthencKey{ke, km}