def Bucket.le

bend-collections-laws-math@1.0.0.0 · spec/math/hash.bend:11

import Base
import bend-collections-laws-math@1.0.0.0/src/math/hash.bend as H

11# bucket(w, mask) never exceeds the mask
12def Bucket.le(+w: U32, +mask: U32) -> Type:
13  {Nat.is_le(U32.to_nat(H.bucket(w, mask)), U32.to_nat(mask)) == True{} : Bool}