def h.egc

bend-kit-collections@0.1.4.1 · PROOF.bend:2027

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

2027def h.egc(
2028  ~K: Data, ~V: Data, ~eq: K -> K -> Bool, b: Bool, +val: V,
2029  rest: List<&2, M.Entry<K, V>>, +k: K
2030) -> Maybe<&2, V>:
2031  M.HMap.bool(Maybe<&2, V>, b, u => Some{val}, u => M.HMap.entries.get(~K, ~V, ~eq, rest, k))