Searched refs:result0_3 (Results 1 – 1 of 1) sorted by relevance
6476 uint8_t_x4 result0_3 = in libcrux_ml_kem_vector_portable_serialize_serialize_4() local6484 ret[0U] = result0_3.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_4()6485 ret[1U] = result0_3.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_4()6486 ret[2U] = result0_3.thd; in libcrux_ml_kem_vector_portable_serialize_serialize_4()6487 ret[3U] = result0_3.f3; in libcrux_ml_kem_vector_portable_serialize_serialize_4()