uni20::RankedMdspecLike Concept Reference

An mdspec-like type with a specified static rank. More...

#include <concepts.hpp>

Concept definition

template<class S, std::size_t Rank>
concept uni20::RankedMdspecLike =  MdspecLike<std::remove_cvref_t<S>> && (std::remove_cvref_t<S>::rank() == Rank)

Detailed Description

An mdspec-like type with a specified static rank.

Template Parameters

S	The mdspec-like type under test.
Rank	Required rank.