libcrux_ml_dsa_constants_Eta_Two
case libcrux_ml_dsa_constants_Eta_Two:
case libcrux_ml_dsa_constants_Eta_Two:
case libcrux_ml_dsa_constants_Eta_Two:
case libcrux_ml_dsa_constants_Eta_Two:
#define LIBCRUX_ML_DSA_CONSTANTS_ML_DSA_44_ETA (libcrux_ml_dsa_constants_Eta_Two)
#define LIBCRUX_ML_DSA_CONSTANTS_ML_DSA_87_ETA (libcrux_ml_dsa_constants_Eta_Two)
case libcrux_ml_dsa_constants_Eta_Two: