type AdBlk

bend-osdev-aead@0.1.0.0 · aesround.bend:15

import Base

15# A 16-byte block (open type)
16type AdBlk is Data:
17  AdBlk{w0: U32, w1: U32, w2: U32, w3: U32}