def OMap.pop_min

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

import Base

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