type HsW16
import bend-osdev-hashes@0.1.0.0/hashes.bend as Hashesimport Base
48# The sixteen words of a 64-byte block (internal to the package)
49type HsW16 is Data:
50 HsW16{x0: U32, x1: U32, x2: U32, x3: U32, x4: U32, x5: U32, x6: U32, x7: U32, x8: U32, x9: U32, x10: U32, x11: U32, x12: U32, x13: U32, x14: U32, x15: U32}