def rs_w
import bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table.bend as HashTableimport Base
275def rs_w(r: Array<U32> & U32) -> RStep:
276 (tab, +x) = r
277 rs_if(tab, U32.is_eq(x, 0))
import bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table.bend as HashTableimport Base
275def rs_w(r: Array<U32> & U32) -> RStep:
276 (tab, +x) = r
277 rs_if(tab, U32.is_eq(x, 0))