type AdAegisOut

bend-osdev-aead@0.1.0.0 · aegis128.bend:170

import Base

170# The loops that run (tail calls): the run after the bytes, and the output
171type AdAegisOut is Data:
172  AdAegisOut{r: AdAegisRun, out: List<&2, U32>}