Searched refs:result15 (Results 1 – 1 of 1) sorted by relevance
6414 int16_t result15 = libcrux_secrets_int_as_i16_59( in libcrux_ml_kem_vector_portable_serialize_deserialize_1() local6421 result12, result13, result14, result15}}); in libcrux_ml_kem_vector_portable_serialize_deserialize_1()