def HMap.entries.del
import bend-kit-collections@0.1.4.1/hmap.bend as Hmapimport Base
47def HMap.entries.del(
48 ~K: Data, ~V: Data, ~eq: K -> K -> Bool,
49 xs: List<&2, Entry<K, V>>, +k: K
50) -> List<&2, Entry<K, V>>:
51 match xs:
52 case Nil{}:
53 Nil{}
54 case Con{Entry{+key, +val}, +rest}:
55 HMap.bool(List<&2, Entry<K, V>>, eq(k, key),
56 u => rest,
57 u => Entry{key, val} <> HMap.entries.del(~K, ~V, ~eq, rest, k))