def hash_bucket_le

bend-collections-laws-math@1.0.0.0 · proofs/math/proof.bend:58

import Base
import bend-collections-laws-math@1.0.0.0/proofs/math/hash/hash.bend as PH
import bend-collections-laws-math@1.0.0.0/spec/math/hash.bend as SH

58# hash
59def hash_bucket_le(+w: U32, +mask: U32) -> SH.Bucket.le(w, mask):
60  PH.bucket_le(w, mask)