Searched refs:v12_13 (Results 1 – 1 of 1) sorted by relevance
8007 int16_t_x2 v12_13 = in libcrux_ml_kem_vector_portable_serialize_deserialize_12() local8027 re.elements[12U] = v12_13.fst; in libcrux_ml_kem_vector_portable_serialize_deserialize_12()8028 re.elements[13U] = v12_13.snd; in libcrux_ml_kem_vector_portable_serialize_deserialize_12()