proof_system::IsPlonkFlavor Concept Reference

Test whether a type T lies in a list of types ...U. More...

#include <flavor.hpp>

Concept definition

template<typename T>
concept proof_system::IsPlonkFlavor =  IsAnyOf<T, plonk::flavor::Standard, plonk::flavor::Ultra>

Detailed Description

Test whether a type T lies in a list of types ...U.

Template Parameters

T	The type being tested
U	A parameter pack of types being checked against T.