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

Trait-certified lattice operations (commutative semilattices + absorption). More...

Concept definition

template<typename T, typename Join Sup, typename Meet Inf>
concept dedekind::category::IsCertifiedOrderLatticeOperations =
IsOrderLatticeOperations<T, Join, Meet>
dedekind::category::IsCertifiedOrderLatticeOperations
Trait-certified lattice operations (commutative semilattices + absorption).
Definition posetal.cppm:190
dedekind::category::IsOrderLatticeOperations
Order-theoretic lattice operations as commutative + absorptive refinement over upstream mereological ...
Definition posetal.cppm:179

Detailed Description

Trait-certified lattice operations (commutative semilattices + absorption).