def g_balance.if
bend-kit-collections@0.1.4.1 · LAWS.bend:304
import bend-kit-collections@0.1.4.1/LAWS.bend as LAWS
import Base
import bend-kit-collections@0.1.4.1/omap.bend as O
304def g_balance.if(
305 -K: Data, -V: Data, heavy_hi: Bool, heavy_lo: Bool, k: K, v: V,
306 lo: O.OMap<K, V>, hi: O.OMap<K, V>
307) -> O.OMap<K, V>:
308 match heavy_hi heavy_lo:
309 case True{} _:
310 g_rot_lo(K, V, k, v, lo, hi)
311 case False{} True{}:
312 g_rot_hi(K, V, k, v, lo, hi)
313 case False{} False{}:
314 O.OMap.bin(K, V, k, v, lo, hi)