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

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

def state_of(bytes: List<&2, U32>) -> Maybe<&2, T.State>:
  match bytes:
    case a0 <> a1 <> a2 <> a3 <> b0 <> b1 <> b2 <> b3 <> c0 <> c1 <> c2 <> c3 <> d0 <> d1 <> d2 <> d3 <> Nil{}:
      Some{T.S{T.W{a0, a1, a2, a3}, T.W{b0, b1, b2, b3}, T.W{c0, c1, c2, c3}, T.W{d0, d1, d2, d3}}}
    case _:
      None{}

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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/aes/types.bend&name=Quad
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/aes/types.bend&name=State