#include <concepts.hpp>
template<typename Q, typename T>
typename Q::value_type;
typename Q::size_type;
{ rule.size() } -> std::convertible_to<std::size_t>;
{ rule.weight(std::size_t{}) } -> std::convertible_to<T>;
{ rule.abscissa(std::size_t{}) } -> std::convertible_to<T>;
}
Definition at line 44 of file concepts.hpp.