Symbol: LIBCRUX_ML_DSA_CONSTANTS_BITS_IN_UPPER_PART_OF_T
usr.bin/ssh/libcrux_internal.h
10904
mask = (int32_t)((uint32_t)1 << (uint32_t)LIBCRUX_ML_DSA_CONSTANTS_BITS_IN_UPPER_PART_OF_T) - 1;
usr.bin/ssh/libcrux_internal.h
9078
#define LIBCRUX_ML_DSA_CONSTANTS_RING_ELEMENT_OF_T1S_SIZE (LIBCRUX_ML_DSA_CONSTANTS_BITS_IN_UPPER_PART_OF_T * LIBCRUX_ML_DSA_CONSTANTS_COEFFICIENTS_IN_RING_ELEMENT / (size_t)8U)