Aes.valid_length: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/aes/aes.bend as Aes
Lines 158-161 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=158&end_line=161

import Base

# FIPS 197 Figure 4: a key of 16, 24 or 32 bytes; Nk = its length in words,
# Nr = Nk + 6.
def valid_length(+n: Nat) -> Bool:
  Bool.or(Nat.is_eq(n, 16n), Bool.or(Nat.is_eq(n, 24n), Nat.is_eq(n, 32n)))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq