def sext
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc.bend as Phcimport Base
46# The base64 digit value of three crumbs, high first, and back.
47def sext(+x: U32, +y: U32, +z: U32) -> U32:
48 U32.or(U32.shln(x, 4n), U32.or(U32.shln(y, 2n), z))
Uses (3)
Used by (13)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/phc:sx_lt
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/phc:b64_nd
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/phc:b64_rt
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/phc:su_eq
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/phc:su_eq_n
- …