def ad.ae.step.pick

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

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

107def ad.ae.step.pick(full: Bool, +sb: R.AdSbox, st: AdAegisSt, zs: List<&2, U32>, +buf: List<&2, U32>, +n: Nat) -> AdAegisRun:
108  match full:
109    case True{}:
110      ad.ae.run0(ad.ae.update(sb, st, R.AdBlk.of_list(ad.ae.rev(buf, Nil{}))))
111    case False{}:
112      AdAegisRun{st, ad.ae.tail(zs), buf, 1n+n}