def big0
import mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend as Coreimport Base
24# Compute the big sigma function for 0 for the SHA-256 compression implementation.
25def big0(+word: U32) -> U32:
26 ((U32.shrn(word, 2n) .|. U32.shln(word, 30n))
27 .^. (U32.shrn(word, 13n) .|. U32.shln(word, 19n))
28 .^. (U32.shrn(word, 22n) .|. U32.shln(word, 10n)) : U32)