def aes.decrypt
import bend-osdev-cipher-modes@0.1.0.0/aes.bend as Aesimport Base
124def aes.decrypt(ks: List<&2, CmAesState>, s: CmAesState) -> CmAesState:
125 match ks:
126 case Nil{}:
127 s
128 case Con{k, Nil{}}:
129 aes.add(s, k)
130 case Con{k, Con{k2, rest}}:
131 aes.rounds(rest, k2, aes.add(s, k))