~/jendhub

def envelope_tag

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

import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCM
import Base

170def envelope_tag(envelope: Envelope) -> Tag:
171    match envelope:
172        case Envelope{nonce, ciphertext, tag, valid}: tag

Uses (2)

Used by (13)