def st256

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/hash/incremental.bend:29

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/state.bend as S256
import bend-collections-laws-crypto@1.0.0.0/src/crypto/hash.bend as H

29def st256(st: H.Sha256State) -> S256.State:
30  match st:
31    case H.St256{s, b}:
32      s