Aes.Schedule: type of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/aes/aes.bend as Aes
Lines 154-156 of bend-collections@1.0.0.0/src/crypto/aes/aes.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/aes/aes.bend&start_line=154&end_line=156

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

# An expanded key: the number of rounds and the round keys.
type Schedule is Data:
  Schedule{rounds: Nat, keys: List<&2, T.State>}

Uses (3):
  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@1.0.0.0/src/crypto/aes/types.bend&name=State