def WB

bend-kit-collections@0.1.4.1 · PROOF.bend:1202

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

1202def WB(-K: Data, -V: Data, t: O.OMap<K, V>) -> Bool:
1203  Laws.weight_balanced(K, V, t)