Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::sets::detail::StdSetLikeOf Concept Reference
module dedekind.sets

Concept definition

template<typename C, typename T>
concept dedekind::sets::detail::StdSetLikeOf =
dedekind::sets::StdSetLike<C> && std::same_as<typename C::value_type, T>
dedekind::sets::StdSetLike
Definition extensional.cppm:188
dedekind::sets::detail::StdSetLikeOf
Definition extensional.cppm:202