def g_glue

bend-kit-collections@0.1.4.1 · LAWS.bend:350

import Base
import bend-kit-collections@0.1.4.1/omap.bend as O

350def g_glue(-K: Data, -V: Data, lo: O.OMap<K, V>, hi: O.OMap<K, V>) -> O.OMap<K, V>:
351  match hi:
352    case O.OTip{}:
353      lo
354    case O.OBin{s, k, v, hl, hh}:
355      g_glue.fin(K, V, lo, g_pop_min(K, V, hl, k, v, hh))