def PMW

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

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

1209def PMW(-K: Data, -V: Data, +n: Nat, r: K & V & O.OMap<K, V>) -> Bool:
1210  (mk, mv, t) = r
1211  PW(K, V, n, t)