Function spec_hash_map_len Copy item path

pub uninterp fn spec_hash_map_len<Key, Value, S, A: Allocator>(
    m: &HashMap<Key, Value, S, A>,
) -> usize