def bucket
import bend-collections-laws-crypto@1.0.0.0/src/math/hash.bend as Hashimport Base
19def bucket(+w: U32, +mask: U32) -> U32:
20 fold(U32.mul(w, phi32()), mask)
Uses (4)
Used by (7)
- bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table:ins_raw
- bend-collections-laws-crypto@1.0.0.0/proofs/math/hash/hash:bucket_ltw
- bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table:probe_lw
- bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table:probe_short
- bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table:sh_l
- …