type Envelope

qasim-bend-kit@0.1.0.2 · libs/AES256GCM.bend:87

import Base

87type Envelope is Data:
88    Envelope{
89        nonce: Nonce,
90        ciphertext: List<&2, U32>,
91        tag: Tag,
92        valid: {bytes_valid(ciphertext) == True{} : Bool}
93    }