Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::HasSubrelationLinearlyIndependentMember Concept Reference

#include <relation_types.hpp>

Concept definition

template<typename T>
concept bb::HasSubrelationLinearlyIndependentMember = requires(T) {
{ std::get<0>(T::SUBRELATION_LINEARLY_INDEPENDENT) } -> std::convertible_to<bool>;
}
std::get
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition tuple.hpp:13

Detailed Description

Definition at line 31 of file relation_types.hpp.