serif::equations::Equation concepts.hpp typename T template<typename T> concept serif::equations::Equation = requires { typename T::Test; { T::name } -> std::convertible_to<std::string_view>; } && ValidContributions<typename T::Test, ContributionsOf<T>>::value A concept that defines the requirements for a valid SERiF equation. Requirements The equation must have a test type (::Test) and a name (::name). The name must be convertible to a std::string_view. The contributions of the equation must be valid for the test type, as defined by the ValidContributions struct.