def blocks
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha512.bend as Sha512import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/types.bend as T
258def blocks(prepared: List<&2, List<&2, T.Lane>>, +ks: List<&2, T.Lane>) -> T.State -> T.State:
259 match prepared:
260 case Nil{}:
261 s => s
262 case block <> rest:
263 next = blocks(rest, ks)
264 s => next(compress(block, ks, s))