def ad.ae.run0

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

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

83def ad.ae.run0(+st: AdAegisSt) -> AdAegisRun:
84  AdAegisRun{st, R.AdBlk.to_list(ad.ae.z(st)), Nil{}, 0n}