def envelope_from_proofs

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

import Base

405def envelope_from_proofs(nonce: Nonce, +ciphertext: List<&2, U32>, tag: Tag,
406    valid: Maybe<&0, {bytes_valid(ciphertext) == True{} : Bool}>) -> Maybe<&2, Envelope>:
407    match valid:
408        case Some{valid}: Some{Envelope{nonce, ciphertext, tag, valid}}
409        case None{}: None{}