def AdTag.join

bend-osdev-aead@0.1.0.0 · aead.bend:30

import bend-osdev-aead@0.1.0.0/aead.bend as Aead
import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

30# the ciphertext with its tag appended
31def AdTag.join(c: B.Octets, t: B.Octets) -> B.Octets:
32  B.Octets.append(c, t)

Uses (2)

Used by (2)