LIBCRUX_ML_KEM_VECTOR_TRAITS_FIELD_MODULUS

6869

return value - quotient * LIBCRUX_ML_KEM_VECTOR_TRAITS_FIELD_MODULUS;

6922

(int32_t)(int16_t)k * (int32_t)LIBCRUX_ML_KEM_VECTOR_TRAITS_FIELD_MODULUS;

8069

if (d1 < LIBCRUX_ML_KEM_VECTOR_TRAITS_FIELD_MODULUS) {

8074

uu____6 = LIBCRUX_ML_KEM_VECTOR_TRAITS_FIELD_MODULUS;

8091

uu____6 = LIBCRUX_ML_KEM_VECTOR_TRAITS_FIELD_MODULUS;

8327

(int32_t)LIBCRUX_ML_KEM_VECTOR_TRAITS_FIELD_MODULUS;

8391

(int32_t)LIBCRUX_ML_KEM_VECTOR_TRAITS_FIELD_MODULUS;

8696

(int32_t)LIBCRUX_ML_KEM_VECTOR_TRAITS_FIELD_MODULUS;

8760

(int32_t)LIBCRUX_ML_KEM_VECTOR_TRAITS_FIELD_MODULUS;

9172

t, LIBCRUX_ML_KEM_VECTOR_TRAITS_FIELD_MODULUS);