def step3

bend-collections-laws-crypto@1.0.0.0 · src/crypto/hash.bend:494

import Base

494def step3(st: Sha3State, xs: List<&2, U32>, +q: Nat) -> Sha3State:
495  match st:
496    case St3{s, buf}:
497      +bytes = List.append(&2, U32, buf, xs)
498      absorb3(List.length(&2, U32, bytes), read3_0(bytes), bytes, q, s)