def nth_word

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

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

203def nth_word(ws: List<&2, T.Quad>, n: Nat) -> T.Quad:
204  match ws n:
205    case Nil{} _:
206      T.W{0, 0, 0, 0}
207    case w <> rest 0n:
208      w
209    case w <> rest 1n+p:
210      nth_word(rest, p)