Trait-certified distributive lattice refinement. More...

Concept definition

template<typename T, typename Join Sup, typename Meet Inf>
concept dedekind::category::IsCertifiedOrderDistributiveLatticeOperations = 
    IsOrderDistributiveLatticeOperations<T, Join, Meet> &&
    IsDistributive<T, Join, Meet> && IsDistributive<T, Meet, Join>

Detailed Description

Trait-certified distributive lattice refinement.