~/jendhub

def result_ciphertext

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

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

18def result_ciphertext(fallback: List<&2, U32>,
19    result: Result<&2, &2, AES.Error, AES.Envelope>) -> List<&2, U32>:
20    match result:
21        case Fail{error}: fallback
22        case Done{envelope}: AES.ciphertext(envelope)

Uses (6)

Used by (1)