def AdTag.join
import bend-osdev-aead@0.1.0.0/aead.bend as Aeadimport 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)
import bend-osdev-aead@0.1.0.0/aead.bend as Aeadimport 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)