#include <concepts.h>
template<typename MAP>
typename MAP::value_type;
typename MAP::key_type;
typename MAP::mapped_type;
{ m[k] } -> std::convertible_to<typename MAP::mapped_type>;
{ m.find(k) } -> std::convertible_to<typename MAP::iterator>;
{ m.insert(std::make_pair(k, v)) } -> std::same_as<std::pair<typename MAP::iterator, bool>>;
}
Definition at line 74 of file concepts.h.