def be32

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

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

import Base

192def be32(+x: U32) -> List<&2, U32>:
193  [U32.shrn(x, 24n), (U32.shrn(x, 16n) .&. 255 : U32),
194   (U32.shrn(x, 8n) .&. 255 : U32), (x .&. 255 : U32)]

Uses (4)

U32
List
U32.and
U32.shrn

Used by (0)

No other definition uses this definition.