def ad.ae.s3

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

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

215def ad.ae.s3(st: AdAegisSt) -> R.AdBlk:
216  match st:
217    case AdAegisSt{a0, a1, a2, a3, a4}:
218      a3

Uses (2)

Used by (2)