Dedekind
0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::sets::StdSetLike Concept Reference
export
module
dedekind.sets
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) };
}
dedekind::sets::StdSetLike
Definition
extensional.cppm:188
dedekind
sets
StdSetLike
Generated by
1.15.0