dedekind::order::detail_position::HasLatticeTopValue Concept Reference

Concept definition

template<typename V>
concept dedekind::order::detail_position::HasLatticeTopValue = 
    requires { LatticeTop<V, std::less_equal<V>>::value; }