def h.pb

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

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

2582def h.pb(
2583  ~K: Data, ~V: Data, ~eq: K -> K -> Bool, b: Bool, +p: Nat, +mask: U32,
2584  +lo: M.HMap<K, V>, +hi: M.HMap<K, V>, +hk: U32, +k: K, +v: V
2585) -> M.HMap<K, V>:
2586  M.HMap.bool(M.HMap<K, V>, b,
2587    u => M.HBranch{M.HMap.put.go(~K, ~V, ~eq, p, (mask << 1n : U32), lo, hk, k, v), hi},
2588    u => M.HBranch{lo, M.HMap.put.go(~K, ~V, ~eq, p, (mask << 1n : U32), hi, hk, k, v)})