Searched defs:tuple_c2_s (Results 1 – 1 of 1) sorted by relevance
1116 typedef struct tuple_c2_s { struct1117 libcrux_ml_kem_mlkem768_MlKem768Ciphertext fst;1118 uint8_t snd[32U];