Core.kr64: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend as Core
Lines 304-309 of mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend&start_line=304&end_line=309

import Base
import mylsm-lsm-store@0.6.0.1/src/hub_sha/state.bend as S

# SHA-256 round t (16 <= t < 64) with its constant as a literal. Like
# window_rounds, q bounds the remaining rounds (48 for SHA-256) and each round
# derives its schedule word from the rolling window before continuing with
# round t+1. Defined last-to-first because names must precede use.
def kr64(state: S.State) -> S.State:
  state

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/hub_sha/state.bend&name=State