Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::sets::Is𝔸Of Concept Referenceexport
module dedekind.sets

U is the universe leg of S: a universe over the same carrier under the same logic. More...

Concept definition

template<typename U, typename S>
concept dedekind::sets::Is𝔸Of =
Is𝔸<U> && std::same_as<typename U::Domain, typename S::Domain> &&
std::same_as<typename U::logic_species, typename S::logic_species>
dedekind::sets::Is𝔸Of
U is the universe leg of S: a universe over the same carrier under the same logic.
Definition boundaries.cppm:544
dedekind::sets::Is𝔸
A universe: the terminal object of Sub(T) — the reified type constraint 𝔸<T,L,C> itself (carrier,...
Definition boundaries.cppm:539

Detailed Description

U is the universe leg of S: a universe over the same carrier under the same logic.