~/jendhub

def result_tag_bytes

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

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

63def result_tag_bytes(fallback: List<&2, U32>,
64    result: Result<&2, &2, AES.Error, AES.Envelope>) -> List<&2, U32>:
65    match result:
66        case Fail{error}: fallback
67        case Done{envelope}: AES.tag_bytes(AES.envelope_tag(envelope))

Uses (7)

Used by (1)