#include <concepts.hpp>
template<typename T>
typename T::value_type;
typename T::iterator;
typename T::const_iterator;
{ t.begin() } -> std::input_iterator;
{ t.end() } -> std::input_iterator;
{ t.size() } -> std::convertible_to<std::size_t>;
{ t.empty() } -> std::convertible_to<bool>;
}
Definition at line 31 of file concepts.hpp.