Searched refs:v2_3 (Results 1 – 1 of 1) sorted by relevance
6896 int16_t_x2 v2_3 = libcrux_ml_kem_vector_portable_serialize_deserialize_12_int( in libcrux_ml_kem_vector_portable_serialize_deserialize_12() local6915 .elements = {v0_1.fst, v0_1.snd, v2_3.fst, v2_3.snd, v4_5.fst, in libcrux_ml_kem_vector_portable_serialize_deserialize_12()