1	# Generated by tools/generators/blake2b_gen.py; do not edit by hand.
2	import Base
3	
4	# A 64-bit word as two 32-bit halves, low half first.
5	type Lane is Data:
6	  W{lo: U32, hi: U32}
7	
8	# The 16-word working vector v[0..15].
9	type State is Data:
10	  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}
11	
12	# The chaining value h[0..7].
13	type Chain is Data:
14	  H{h0: Lane, h1: Lane, h2: Lane, h3: Lane, h4: Lane, h5: Lane, h6: Lane, h7: Lane}
15	
16	# The four words G returns: v[a], v[b], v[c], v[d].
17	type Quad is Data:
18	  Q{a: Lane, b: Lane, c: Lane, d: Lane}
19	
20	# The 128-bit byte counter t as four little-endian 32-bit limbs.
21	type Counter is Data:
22	  C{c0: U32, c1: U32, c2: U32, c3: U32}