def compress

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/sha512.bend:255

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/types.bend as T

255def compress(ws: List<&2, T.Lane>, ks: List<&2, T.Lane>, +s: T.State) -> T.State:
256  feedforward(s, rounds(ks, ws)(s))