def be32

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/sha/packed/core_model.bend:146

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha/packed/core_model.bend as CoreModel

import Base

146def be32(+x: U32) -> List<&2, U32>:
147  [U32.shrn(x, 24n), (U32.shrn(x, 16n) .&. 255 : U32),
148   (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.