def ccm.aad.pick

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

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

35def ccm.aad.pick(empty: Bool, +a: List<&2, U32>) -> List<&2, U32>:
36  match empty:
37    case True{}:
38      Nil{}
39    case False{}:
40      +v = U32.from_nat(B.len(a))
41      ccm.pad(B.append(ccm.alen.pick(U32.is_lt(v, 65280), v), a))