def hmap_absent

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

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

485# No entry of xs has a key equal to k.
486def hmap_absent(
487  ~K: Data, ~V: Data, ~eq: K -> K -> Bool, xs: List<&2, M.Entry<K, V>>, +k: K
488) -> Bool:
489  match xs:
490    case Nil{}:
491      True{}
492    case Con{M.Entry{+key, val}, rest}:
493      Bool.not(eq(k, key)) && hmap_absent(~K, ~V, ~eq, rest, k)