~/jendhub

def big0

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

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

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

Uses (5)

Used by (1)