def keys_fin
import bend-collections-laws-math@1.0.0.0/src/containers/hash_table.bend as HashTableimport Base
580def keys_fin(a, -V: Kind(a), +n: U32, +mask: U32, +td: U32, +fresh: U32, +sz: U32, +sd: U32, +free: U32, vs: Array<Maybe<a, V>>, nx: Array<U32>, w: Walk) -> HashMap<a, V> & List<&2, String>:
581 WK{tab, ks, acc} = w
582 (HM{n, mask, td, fresh, sz, sd, free, tab, ks, vs, nx}, acc)