def ad.ae.eafter

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

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

149def ad.ae.eafter(xs: List<&2, U32>, +sb: R.AdSbox, +r: AdAegisRun) -> AdAegisRun:
150  match xs:
151    case Nil{}:
152      r
153    case Con{+x, t}:
154      ad.ae.eafter(t, sb, ad.ae.step(sb, r, B.byte(x)))