def g_pop_min

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

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

337def g_pop_min(
338  -K: Data, -V: Data, lo: O.OMap<K, V>, k: K, v: V, hi: O.OMap<K, V>
339) -> K & V & O.OMap<K, V>:
340  match lo:
341    case O.OTip{}:
342      (k, v, hi)
343    case O.OBin{s, lk, lv, ll, lh}:
344      g_pop_min.fin(K, V, k, v, hi, g_pop_min(K, V, ll, lk, lv, lh))