def sk_fin
import bend-collections-laws-math@1.0.0.0/src/containers/hash_table.bend as HashTableimport Base
126def sk_fin(tab: Array<U32>, +l: U32, ks: Array<String>, r: (String & String) & Bool) -> Step:
127 ((key, k), e) = r
128 sk_pick(tab, l, Array.set(String, ks, slot(l), k), key, e)