def h.len

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

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

2181def h.len(-K: Data, -V: Data, xs: List<&2, M.Entry<K, V>>) -> Nat:
2182  List.length(&2, M.Entry<K, V>, xs)