34template <concepts::formula Formula>
36 if constexpr (
requires() {
41 return Formula::lesser_order;
43 return Formula::order;
Definition of decayed_to concept.
Definition of index_type type.
std::ptrdiff_t index_type
Type of indices in this library.
Namespace of internal implementations.
constexpr auto get_least_known_order() -> index_type
Get the least known order of a formula.