def probe_lw
import bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table.bend as HashTableimport Base
import bend-collections-laws-crypto@1.0.0.0/src/math/hash.bend as HS
175def probe_lw(tab: Array<U32>, ks: Array<String>, +mask: U32, r: String & U32) -> Found & U32:
176 (key, +w) = r
177 (find(U32.to_nat(U32.inc(mask)), step(tab, ks, HS.bucket(w, mask), key, w), mask, w, HS.bucket(w, mask)), w)