def h.Sz

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

import Base
import bend-kit-collections@0.1.4.1/hmap.bend as M

2570def h.Sz(-K: Data, -V: Data, m: M.HMap<K, V>) -> Nat:
2571  M.HMap.size(K, V, m)