Types.State: type of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/keccak/types.bend as Types
Lines 6-7 of bend-collections@1.0.0.0/src/crypto/keccak/types.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/keccak/types.bend&start_line=6&end_line=7

import Base

type State is Data:
  S{a0: Lane, a1: Lane, a2: Lane, a3: Lane, a4: Lane, a5: Lane, a6: Lane, a7: Lane, a8: Lane, a9: Lane, a10: Lane, a11: Lane, a12: Lane, a13: Lane, a14: Lane, a15: Lane, a16: Lane, a17: Lane, a18: Lane, a19: Lane, a20: Lane, a21: Lane, a22: Lane, a23: Lane, a24: Lane}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/keccak/types.bend&name=Lane