def pack

bend-collections-laws-crypto@1.0.0.0 · src/crypto/aes/gcm.bend:81

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/types.bend as T

81# An AES state as a block: its columns are the words.
82def pack(s: T.State) -> Block:
83  match s:
84    case T.S{c0, c1, c2, c3}:
85      B{word(c0), word(c1), word(c2), word(c3)}