type CrSha3State
import bend-osdev-crypto@0.1.0.0/inst_sha3.bend as InstSha3import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/hash.bend as Hc
17# A hash state (opaque): the Keccak state, the bytes of the unfinished
18# block, and the length so far
19type CrSha3State is Data:
20 CrSha3State{h: Hc.Hasher}