Re-export the certified distributive lattice stage from :posetal. More...

Concept definition

template<typename T, typename Join Sup, typename Meet Inf>
concept dedekind::order::IsOrderDistributiveLattice = 
    dedekind::category::IsCertifiedOrderDistributiveLatticeOperations<T, Join,
                                                                      Meet>

Detailed Description

Re-export the certified distributive lattice stage from :posetal.