#ifndef PQCLEAN_KYBER51290S_CLEAN_VERIFY_H #define PQCLEAN_KYBER51290S_CLEAN_VERIFY_H #include "params.h" #include <stddef.h> #include <stdint.h> int PQCLEAN_KYBER51290S_CLEAN_verify(const uint8_t *a, const uint8_t *b, size_t len); void PQCLEAN_KYBER51290S_CLEAN_cmov(uint8_t *r, const uint8_t *x, size_t len, uint8_t b); #endif