def big0

bend-collections-laws-crypto@1.0.0.0 · src/crypto/sha/packed/core.bend:14

import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/core.bend as Core
import Base

14def big0(+x: U32) -> U32:
15  ((U32.shrn(x, 2n) .|. U32.shln(x, 30n))
16    .^. (U32.shrn(x, 13n) .|. U32.shln(x, 19n))
17    .^. (U32.shrn(x, 22n) .|. U32.shln(x, 10n)) : U32)

Uses (5)

Used by (1)