in include/HashedAbstractEnvironment.h [292:306]
bool equals(const MapValue& other) const override {
if (m_map.size() != other.m_map.size()) {
return false;
}
for (const auto& binding : m_map) {
auto it = other.m_map.find(binding.first);
if (it == other.m_map.end()) {
return false;
}
if (!binding.second.equals(it->second)) {
return false;
}
}
return true;
}