type AdAegisRun

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

import Base

77# The message, a byte at a time (internal): the state, the keystream bytes
78# left of the current block, the current block's plaintext bytes so far
79# (last first) and how many
80type AdAegisRun is Data:
81  AdAegisRun{st: AdAegisSt, zs: List<&2, U32>, buf: List<&2, U32>, n: Nat}