def CrSha2.init512
import bend-osdev-crypto@0.1.0.0/inst_sha2.bend as InstSha2import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/hash.bend as Hc
28def CrSha2.init512() -> CrSha2State:
29 CrSha2State{Hc.new_sha512()}
import bend-osdev-crypto@0.1.0.0/inst_sha2.bend as InstSha2import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/hash.bend as Hc
28def CrSha2.init512() -> CrSha2State:
29 CrSha2State{Hc.new_sha512()}