def g_heavy_lo

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

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

283def g_heavy_lo(-K: Data, -V: Data, +lo: O.OMap<K, V>, +hi: O.OMap<K, V>) -> Bool:
284  Nat.is_gt(omap_weight(K, V, lo), Nat.mul(3n, omap_weight(K, V, hi)))