dedekind::geometry::HasCountableDimension Concept Reference

A vector type whose coordinate index set is at most countably infinite. More...

Concept definition

template<typename V>
concept dedekind::geometry::HasCountableDimension =  requires {
  { V::dimension } -> std::convertible_to<std::size_t>;
}

Detailed Description

A vector type whose coordinate index set is at most countably infinite.