def W

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

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

1199def W(-K: Data, -V: Data, t: O.OMap<K, V>) -> Nat:
1200  Laws.omap_weight(K, V, t)