#ifndef REED_MULLER_H #define REED_MULLER_H /** * @file reed_muller.h * Header file of reed_muller.c */ #include "parameters.h" #include "parameters.h" #include #include void PQCLEAN_HQCRMRS128_AVX2_reed_muller_encode(uint64_t *cdw, const uint64_t *msg); void PQCLEAN_HQCRMRS128_AVX2_reed_muller_decode(uint64_t *msg, const uint64_t *cdw); #endif