type AdSplit

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

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

14# A ciphertext and its tag, split from the bytes of both (the tag the last
15# tlen bytes; CrTooShort for fewer than tlen bytes)
16type AdSplit is Data:
17  AdSplit{c: B.Octets, t: B.Octets}