law omap_del_weight_balanced

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

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

392law omap_del_weight_balanced:
393  for ~K: Data
394  for ~V: Data
395  for ~cmp: K -> K -> Cmp
396  for +m: O.OMap<K, V>
397  for wb: {weight_balanced(K, V, m) == True{} : Bool}
398  for +k: K
399  {weight_balanced(K, V, g_del(~K, ~V, ~cmp, m, k)) == True{} : Bool}