~/jendhub

def ad.ae.flush.pick

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

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

126def ad.ae.flush.pick(empty: Bool, +sb: R.AdSbox, st: AdAegisSt, buf: List<&2, U32>) -> AdAegisSt:
127  match empty:
128    case True{}:
129      st
130    case False{}:
131      ad.ae.update(sb, st, R.AdBlk.of_list(ad.ae.rev(buf, Nil{})))

Uses (8)

Used by (1)