Function vstd::std_specs::hash::spec_hash_map_len

pub open spec fn spec_hash_map_len<Key, Value, S>(m: &HashMap<Key, Value, S>) -> usize

{}