proof_system::HasParameterLengthAdjustmentsMember Concept Reference

Concept definition

template<typename T>
concept proof_system::HasParameterLengthAdjustmentsMember =  requires { T::TOTAL_LENGTH_ADJUSTMENTS; }