def AdBlk.of_list

bend-osdev-aead@0.1.0.0 · aesround.bend:46

import Base

46# the block of the first 16 bytes of xs (zeros past the end)
47def AdBlk.of_list(+xs: List<&2, U32>) -> AdBlk:
48  AdBlk{ad.blk.word(xs, 0n), ad.blk.word(xs, 4n), ad.blk.word(xs, 8n), ad.blk.word(xs, 12n)}