Aes.rounds: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/aes.bend as Aes
Lines 55-63 of bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/aes.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/aes.bend&start_line=55&end_line=63

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

# n full rounds, then the final round.
def rounds(n: Nat, s: T.State, ks: List<&2, T.State>) -> T.State:
  match n ks:
    case 0n k <> rest:
      last_round(s, k)
    case 1n+p k <> rest:
      rounds(p, round(s, k), rest)
    case _ _:
      s

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/aes.bend&name=last_round
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/aes.bend&name=round
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/types.bend&name=State