type HsMdState
import bend-osdev-hashes@0.1.0.0/hashes.bend as Hashesimport Base
import bend-osdev-word64@0.1.0.0/word64.bend as W
29# The engine's state (opaque): the chaining value, the bytes of the
30# unfinished block (last first), how many there are, and the number of
31# blocks compressed
32type HsMdState<-C: Data> is Data:
33 HsMdState{cv: C, buf: List<&2, U32>, cnt: U32, nb: W.W64}