Symbol: LIBCRUX_ML_KEM_VECTOR_TRAITS_BARRETT_SHIFT
usr.bin/ssh/libcrux_internal.h
21238
#define LIBCRUX_ML_KEM_VECTOR_TRAITS_BARRETT_R ((int32_t)((uint32_t)1 << (uint32_t)LIBCRUX_ML_KEM_VECTOR_TRAITS_BARRETT_SHIFT))
usr.bin/ssh/libcrux_internal.h
21264
libcrux_secrets_int_as_i16_36(t >> (uint32_t)LIBCRUX_ML_KEM_VECTOR_TRAITS_BARRETT_SHIFT);