def hmap_wf

bend-kit-collections@0.1.4.1 · LAWS.bend:536

import Base
import bend-kit-collections@0.1.4.1/hmap.bend as M

536def hmap_wf(~K: Data, ~V: Data, ~hash: K -> U32, ~eq: K -> K -> Bool, m: M.HMap<K, V>) -> Bool:
537  hmap_wf.go(~K, ~V, ~hash, ~eq, 32n, m)