Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::LiftsTo Concept Referenceexport
module dedekind.category

Concept definition

template<typename From, typename To>
concept dedekind::category::LiftsTo = lifts_to_v<From, To>
dedekind::category::LiftsTo
Definition logic.cppm:793
dedekind::category::lifts_to_v
constexpr bool lifts_to_v
The dominance order: From ⊑ To iff the embedding species_embed<From, To> is registered....
Definition logic.cppm:789