libcrux_ml_kem_ind_cpa_encrypt_60
static inline void libcrux_ml_kem_ind_cpa_encrypt_60(Eurydice_slice public_key,
#define libcrux_ml_kem_ind_cpa_encrypt_60 Fssh_libcrux_ml_kem_ind_cpa_encrypt_60