1 #ifndef INDCPA_H
2 #define INDCPA_H
3 
4 #include <stdint.h>
5 
6 int PQCLEAN_KYBER51290S_CLEAN_indcpa_keypair(
7     uint8_t *pk,
8     uint8_t *sk);
9 
10 void PQCLEAN_KYBER51290S_CLEAN_indcpa_enc(
11     uint8_t *c,
12     const uint8_t *m,
13     const uint8_t *pk,
14     const uint8_t *coins);
15 
16 void PQCLEAN_KYBER51290S_CLEAN_indcpa_dec(
17     uint8_t *m,
18     const uint8_t *c,
19     const uint8_t *sk);
20 
21 #endif
22