def pack
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/core.bend as Coreimport Base
52def pack(a: U32, b: U32, c: U32, d: U32) -> U32:
53 (U32.shln((a .&. 255 : U32), 24n)
54 .|. U32.shln((b .&. 255 : U32), 16n)
55 .|. U32.shln((c .&. 255 : U32), 8n) .|. (d .&. 255) : U32)
Uses (4)
Used by (71)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/core:len_hi
- bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/core:len_lo
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha/packed/core_model:block_bytes
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha/packed/core_model:stream
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha/packed/conformance:block_bytes_correct
- …