def column

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/aes/aes.bend:102

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

102def column(s: T.State, c: Nat) -> T.Quad:
103  match s c:
104    case T.S{c0, c1, c2, c3} 0n:
105      c0
106    case T.S{c0, c1, c2, c3} 1n:
107      c1
108    case T.S{c0, c1, c2, c3} 2n:
109      c2
110    case T.S{c0, c1, c2, c3} 3n+p:
111      c3