def h.R

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

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

2615# get on a bucket, as get.go sees it above the last level.
2616def h.R(
2617  ~K: Data, ~V: Data, ~hash: K -> U32, ~eq: K -> K -> Bool, +o: U32,
2618  +es: List<&2, M.Entry<K, V>>, +k: K
2619) -> Maybe<&2, V>:
2620  M.HMap.bool(Maybe<&2, V>, U32.is_eq(o, hash(k)), u => M.HMap.entries.get(~K, ~V, ~eq, es, k), u => None{})