law omap_put_weight_balanced

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

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

382law omap_put_weight_balanced:
383  for ~K: Data
384  for ~V: Data
385  for ~cmp: K -> K -> Cmp
386  for +m: O.OMap<K, V>
387  for wb: {weight_balanced(K, V, m) == True{} : Bool}
388  for +k: K
389  for +v: V
390  {weight_balanced(K, V, g_put(~K, ~V, ~cmp, m, k, v)) == True{} : Bool}