def encoding_or
import qasim-bend-kit@0.1.0.2/proof/AES_CanonicalProof.bend as AESCanonicalProofimport Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES
5def encoding_or(text: String,
6 result: Result<&2, &2, AES.Error, AES.Envelope>) -> String:
7 match result:
8 case Fail{error}: text
9 case Done{envelope}: AES.encode(envelope)