Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::sets::StdSetLike Concept Referenceexport

Concept definition

template<typename C>
concept dedekind::sets::StdSetLike = requires(C c, const typename C::value_type& value) {
typename C::value_type;
{ c.begin() } -> std::input_iterator;
{ c.end() } -> std::sentinel_for<decltype(c.begin())>;
{ c.insert(value) };
{ c.find(value) };
}
Definition extensional.cppm:188