def g_pop_min.fin

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

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

331def g_pop_min.fin(
332  -K: Data, -V: Data, k: K, v: V, hi: O.OMap<K, V>, r: K & V & O.OMap<K, V>
333) -> K & V & O.OMap<K, V>:
334  (mk, mv, lo) = r
335  (mk, mv, g_balance(K, V, k, v, lo, hi))