def ccm.aad.pick.fast

bend-osdev-cipher-modes@0.1.0.0 · ccm.bend:182

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

182def ccm.aad.pick.fast(empty: Bool, +a: List<&2, U32>) -> List<&2, U32>:
183  match empty:
184    case True{}:
185      Nil{}
186    case False{}:
187      +v = U32.from_nat(B.len.fast(a))
188      ccm.pad.fast(B.append(ccm.alen.pick(U32.is_lt(v, 65280), v), a))