def fused_compress_slow
bend-collections@1.0.0.0 · proofs/crypto/sha/packed/core_model.bend:103
import bend-collections@1.0.0.0/proofs/crypto/sha/packed/core_model.bend as CoreModel
import Base
import bend-collections@1.0.0.0/src/crypto/sha/packed/core.bend as Runtime
import bend-collections@1.0.0.0/src/crypto/sha/state.bend as S
103def fused_compress_slow(+block: List<&2, U32>, +extra: Nat, +ks: List<&2, U32>, +s: S.State) -> S.State:
104 Runtime.feedforward(s, schedule_rounds(block, extra, List.reverse(&2, U32, block), ks, s))