def aes.round_keys

bend-osdev-cipher-modes@0.1.0.0 · aes.bend:211

import Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M

211def aes.round_keys(ws: List<&2, U32>) -> List<&2, CmAesState>:
212  match ws:
213    case Con{a, Con{b, Con{c, Con{d, t}}}}:
214      Con{aes.state_of(M.CmBlock{a, b, c, d}), aes.round_keys(t)}
215    case _:
216      Nil{}