# Generated by tools/generators/blake2b_gen.py; do not edit by hand.
import Base

# A 64-bit word as two 32-bit halves, low half first.
type Lane is Data:
  W{lo: U32, hi: U32}

# The 16-word working vector v[0..15].
type State is Data:
  V{v0: Lane, v1: Lane, v2: Lane, v3: Lane, v4: Lane, v5: Lane, v6: Lane, v7: Lane, v8: Lane, v9: Lane, v10: Lane, v11: Lane, v12: Lane, v13: Lane, v14: Lane, v15: Lane}

# The chaining value h[0..7].
type Chain is Data:
  H{h0: Lane, h1: Lane, h2: Lane, h3: Lane, h4: Lane, h5: Lane, h6: Lane, h7: Lane}

# The four words G returns: v[a], v[b], v[c], v[d].
type Quad is Data:
  Q{a: Lane, b: Lane, c: Lane, d: Lane}

# The 128-bit byte counter t as four little-endian 32-bit limbs.
type Counter is Data:
  C{c0: U32, c1: U32, c2: U32, c3: U32}