def kr64
import mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend as Coreimport Base
import mylsm-lsm-store@0.6.0.1/src/hub_sha/state.bend as S
304# SHA-256 round t (16 <= t < 64) with its constant as a literal. Like
305# window_rounds, q bounds the remaining rounds (48 for SHA-256) and each round
306# derives its schedule word from the rolling window before continuing with
307# round t+1. Defined last-to-first because names must precede use.
308def kr64(state: S.State) -> S.State:
309 state