#include <requirement.hpp>
template<typename T>
{ T::raw_str } -> std::convertible_to<std::string_view>;
{ T::arity } -> std::convertible_to<ArityKind>;
{ op.args } -> IsTemplate<std::tuple>;
{ op.arg_tokens } -> std::convertible_to<std::array<inspection::Tokenizer<>, static_cast<std::size_t>(T::arity)>>;
{ op.eval() };
} && std::tuple_size_v<decltype(T::args)> == static_cast<std::size_t>(T::arity)
Definition requirement.hpp:112