~/jendhub

def result_text

qasim-bend-kit@0.1.0.2 · proof/AES_IdentityProof.bend:73

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

73def result_text(value: Result<&2, &2, AES.Error, String>) -> String:
74    match value:
75        case Fail{error}: ""
76        case Done{text}: text

Uses (3)

Used by (1)