def bucket
import bend-collections-laws-math@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 (9)
- bend-collections-laws-math@1.0.0.0/src/containers/hash_table:ins_raw
- bend-collections-laws-math@1.0.0.0/proofs/math/hash/hash:bucket_le
- bend-collections-laws-math@1.0.0.0/proofs/math/hash/hash:bucket_lt
- bend-collections-laws-math@1.0.0.0/proofs/math/hash/hash:bucket_ltw
- bend-collections-laws-math@1.0.0.0/spec/math/hash:Bucket.le
- …