pub open spec fn value_filter<K, V>(m: Map<K, V>, f: FnSpec<(V,), bool>) -> Map<K, V>
{ m.restrict(m.dom().filter(|s| f(m[s]))) }
Filters a map based on a predicate function applied to its values.