def pad16

bend-collections@1.0.0.0 · src/crypto/aead/chacha20poly1305.bend:25

import Base

25def pad16(+xs: List<&2, U32>) -> List<&2, U32>:
26  List.replicate(U32, Nat.mod(Nat.sub(16n, Nat.mod(List.length(&2, U32, xs), 16n)), 16n), 0)