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

Concept definition

template<typename T, typename Meet Inf>
concept dedekind::order::IsOrderMeetSemilattice = 
    dedekind::category::IsCertifiedOrderMeetSemilattice<T, Meet>

Detailed Description

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