type State
import bend-collections@1.0.0.0/src/crypto/sha512/types.bend as Typesimport Base
9# The working variables a..h (and the chaining value H0..H7).
10type State is Data:
11 H{a: Lane, b: Lane, c: Lane, d: Lane, e: Lane, f: Lane, g: Lane, h: Lane}