def AdBlk.to_list

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

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

50# a block's 16 bytes
51def AdBlk.to_list(b: AdBlk) -> List<&2, U32>:
52  match b:
53    case AdBlk{w0, w1, w2, w3}:
54      B.append(B.be32(w0), B.append(B.be32(w1), B.append(B.be32(w2), B.be32(w3))))