proof_system::HasSubrelationLinearlyIndependentMember Concept Reference

Concept definition

template<typename T, size_t subrelation_idx>
concept proof_system::HasSubrelationLinearlyIndependentMember =  requires(T) {
                                                      {
                                                          std::get<subrelation_idx>(T::SUBRELATION_LINEARLY_INDEPENDENT)
                                                          } -> std::convertible_to<bool>;
                                                  }