dedekind::order::detail_axis::IsUniversalBoundary Concept Reference

A factor that does not constrain its axis: the universal boundary. More...

Concept definition

template<typename T>
concept dedekind::order::detail_axis::IsUniversalBoundary =  requires { typename T::is_universal_boundary; }

Detailed Description

A factor that does not constrain its axis: the universal boundary.

Template Parameters

T	the factor.