def big1

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

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

22def big1(+x: U32) -> U32:
23  ((U32.shrn(x, 6n) .|. U32.shln(x, 26n))
24    .^. (U32.shrn(x, 11n) .|. U32.shln(x, 21n))
25    .^. (U32.shrn(x, 25n) .|. U32.shln(x, 7n)) : U32)

Uses (5)

Used by (1)