#ifndef INDCPA_H #define INDCPA_H void PQCLEAN_NEWHOPE512CCA_CLEAN_cpapke_keypair(unsigned char *pk, unsigned char *sk); void PQCLEAN_NEWHOPE512CCA_CLEAN_cpapke_enc(unsigned char *c, const unsigned char *m, const unsigned char *pk, const unsigned char *coins); void PQCLEAN_NEWHOPE512CCA_CLEAN_cpapke_dec(unsigned char *m, const unsigned char *c, const unsigned char *sk); #endif