def h.EG

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

import bend-kit-collections@0.1.4.1/PROOF.bend as PROOF

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

2564def h.EG(~K: Data, ~V: Data, ~eq: K -> K -> Bool, xs: List<&2, M.Entry<K, V>>, +k: K) -> Maybe<&2, V>:
2565  M.HMap.entries.get(~K, ~V, ~eq, xs, k)

Uses (5)

Used by (16)