#ifndef SHAKE_DS_H #define SHAKE_DS_H /** * @file shake_ds.h * @brief Header file of shake_ds.c */ #include "fips202.h" #include #include void PQCLEAN_HQC128_CLEAN_shake256_512_ds(shake256incctx *state, uint8_t *output, const uint8_t *input, size_t inlen, uint8_t domain); #endif