#ifndef BCH_H #define BCH_H /** * @file bch.h * Header file of bch.c */ #include "parameters.h" #include "parameters.h" #include #include void PQCLEAN_HQC128_AVX2_bch_code_decode(uint64_t *message, uint64_t *vector); void PQCLEAN_HQC128_AVX2_table_alphaij_generation(const uint16_t *exp); #endif