Searched refs:result0_3 (Results 1 – 1 of 1) sorted by relevance
7448 uint8_t_x4 result0_3 = in libcrux_ml_kem_vector_portable_serialize_serialize_4() local7457 result[0U] = result0_3.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_4()7458 result[1U] = result0_3.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_4()7459 result[2U] = result0_3.thd; in libcrux_ml_kem_vector_portable_serialize_serialize_4()7460 result[3U] = result0_3.f3; in libcrux_ml_kem_vector_portable_serialize_serialize_4()