def sk_empty

bend-collections-laws-math@1.0.0.0 · src/containers/hash_table.bend:145

import Base

145def sk_empty(tab: Array<U32>, ks: Array<String>, +i: U32, key: String, +w: U32, +x: U32, e: Bool) -> Step:
146  match e:
147    case True{}:
148      SEnd{tab, ks, key}
149    case False{}:
150      sk_l(ks, key, x, w, Array.get(U32, tab, U32.inc(U32.shl(i))))