dedekind::sets::NatZedPair Concept Reference

The two carriers of the one cross-carrier pair the library ships, ℕ ↪ ℤ on the variant proxies: A is a set object over Cardinality, B one over SignedCardinality, in the same species. Any set object qualifies (a halfspace, a comprehension, a node): only χ is read. More...

Concept definition

template<typename A, typename B>
concept dedekind::sets::NatZedPair = 
    IsSetObject<A> && IsSetObject<B> &&
    std::same_as<typename A::Domain, Cardinality> &&
    std::same_as<typename B::Domain, SignedCardinality> &&
    std::same_as<typename A::logic_species, typename B::logic_species>

Detailed Description

The two carriers of the one cross-carrier pair the library ships, ℕ ↪ ℤ on the variant proxies: A is a set object over Cardinality, B one over SignedCardinality, in the same species. Any set object qualifies (a halfspace, a comprehension, a node): only χ is read.