dedekind::order::detail_position::HasLatticeBottomValue Concept Reference

Whether the carrier registers its lattice bottom (top) under <= as a value, as the machine words do. More...

Concept definition

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

Detailed Description

Whether the carrier registers its lattice bottom (top) under <= as a value, as the machine words do.

Template Parameters

V	the carrier.