def OMap.glue

bend-kit-collections@0.1.4.1 · omap.bend:182

import bend-kit-collections@0.1.4.1/omap.bend as Omap

import Base

182# Joins two sides of a deleted node.
183def OMap.glue(-K: Data, -V: Data, lo: OMap<K, V>, hi: OMap<K, V>) -> OMap<K, V>:
184  match hi:
185    case OTip{}:
186      lo
187    case OBin{s, k, v, hl, hh}:
188      OMap.glue.fin(K, V, lo, OMap.pop_min(K, V, hl, k, v, hh))

Uses (3)

Used by (3)