Searched refs:uint8_t_x4 (Results 1 – 1 of 1) sorted by relevance
6444 } uint8_t_x4; typedef6446 static KRML_MUSTINLINE uint8_t_x46468 return (KRML_CLITERAL(uint8_t_x4){ in libcrux_ml_kem_vector_portable_serialize_serialize_4_int()6476 uint8_t_x4 result0_3 = in libcrux_ml_kem_vector_portable_serialize_serialize_4()6480 uint8_t_x4 result4_7 = in libcrux_ml_kem_vector_portable_serialize_serialize_4()