Searched refs:tuple_c6 (Results 1 – 1 of 1) sorted by relevance
24206 tuple_c6; typedef24785 static KRML_MUSTINLINE tuple_c624828 return (KRML_CLITERAL(tuple_c6){ .fst = r_as_ntt, .snd = error_2 }); in libcrux_ml_kem_ind_cpa_encrypt_c1_87()25117 tuple_c6 in libcrux_ml_kem_ind_cpa_encrypt_unpacked_d5()