dedekind::order::IsOrderJoinSemilattice Concept Reference

Re-export the certified join-semilattice stage from :posetal. More...

Concept definition

template<typename T, typename Join Sup>
concept dedekind::order::IsOrderJoinSemilattice = 
    dedekind::category::IsCertifiedOrderJoinSemilattice<T, Join>

Detailed Description

Re-export the certified join-semilattice stage from :posetal.