def su
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc.bend as Phcimport Base
50def su(+s: U32) -> U32:
51 U32.shrn(s, 4n)
Uses (2)
Used by (6)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc:dec2
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc:dec3
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc:dec4
- 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
- …