proof_system::IsRecursiveFlavor Concept Reference

Concept definition

template<typename T>
concept proof_system::IsRecursiveFlavor =  IsAnyOf<T, honk::flavor::UltraRecursive_<UltraCircuitBuilder>, 
                                       honk::flavor::UltraRecursive_<GoblinUltraCircuitBuilder>, 
                                       honk::flavor::GoblinUltraRecursive_<UltraCircuitBuilder>, 
                                       honk::flavor::GoblinUltraRecursive_<GoblinUltraCircuitBuilder>>