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

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/types.bend as T

# A 1024-byte block: 128 64-bit lanes as eight rows of sixteen
# (lane n is row n / 16, position n mod 16).
type Block is Data:
  B{r0: T.State, r1: T.State, r2: T.State, r3: T.State, r4: T.State, r5: T.State, r6: T.State, r7: T.State}

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