#ifndef ntt_H #define ntt_H #include extern void PQCLEAN_NTRULPR857_AVX2_ntt512_7681(int16_t *f, int reps); extern void PQCLEAN_NTRULPR857_AVX2_ntt512_10753(int16_t *f, int reps); extern void PQCLEAN_NTRULPR857_AVX2_invntt512_7681(int16_t *f, int reps); extern void PQCLEAN_NTRULPR857_AVX2_invntt512_10753(int16_t *f, int reps); #endif