# Generated by tools/generators/argon2_gen.py; do not edit by hand.
import Base
import ../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}