Types.State: type of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2s/types.bend as Types
Lines 3-5 of bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2s/types.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2s/types.bend&start_line=3&end_line=5

import Base

# The chaining value h[0..7] of RFC 7693.
type State is Data:
  H{h0: U32, h1: U32, h2: U32, h3: U32, h4: U32, h5: U32, h6: U32, h7: U32}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32