Searched refs:uint8_t_x4 (Results 1 – 1 of 1) sorted by relevance
7416 } uint8_t_x4; typedef7418 static KRML_MUSTINLINE uint8_t_x47440 return (CLITERAL(uint8_t_x4){ in libcrux_ml_kem_vector_portable_serialize_serialize_4_int()7448 uint8_t_x4 result0_3 = in libcrux_ml_kem_vector_portable_serialize_serialize_4()7452 uint8_t_x4 result4_7 = in libcrux_ml_kem_vector_portable_serialize_serialize_4()