def result_nonce

qasim-bend-kit@0.1.0.2 · proof/AES_EncryptProof.bend:406

import qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof.bend as AESEncryptProof

import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES

406def result_nonce(fallback: AES.Nonce,
407    result: Result<&2, &2, AES.Error, AES.Envelope>) -> AES.Nonce:
408    match result:
409        case Fail{error}: fallback
410        case Done{envelope}: AES.envelope_nonce(envelope)

Uses (5)

Used by (5)