Omap.OMap.pop_min: def of bend-kit-collections@0.1.4.1
Import: import bend-kit-collections@0.1.4.1/omap.bend as Omap
Lines 166-174 of bend-kit-collections@0.1.4.1/omap.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-collections@0.1.4.1/omap.bend&start_line=166&end_line=174

import Base

# The least entry of the node lo < (k, v) < hi, and the node without it.
def OMap.pop_min(
  -K: Data, -V: Data, lo: OMap<K, V>, k: K, v: V, hi: OMap<K, V>
) -> K & V & OMap<K, V>:
  match lo:
    case OTip{}:
      (k, v, hi)
    case OBin{s, lk, lv, ll, lh}:
      OMap.pop_min.fin(K, V, k, v, hi, OMap.pop_min(K, V, ll, lk, lv, lh))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bend-kit-collections@0.1.4.1/omap.bend&name=OMap
  https://jend.leeeet.dev/definition.txt?path=bend-kit-collections@0.1.4.1/omap.bend&name=OMap.pop_min.fin