Searched refs:re_vector (Results 1 – 1 of 1) sorted by relevance
14212 Eurydice_dst_ref_mut_44 re_vector in libcrux_ml_dsa_arithmetic_use_hint_37() argument14215 for (size_t i0 = (size_t)0U; i0 < re_vector.meta; i0++) in libcrux_ml_dsa_arithmetic_use_hint_37()14224 libcrux_ml_dsa_simd_portable_use_hint_65(gamma2, &re_vector.ptr[i1].data[j], &tmp.data[j]); in libcrux_ml_dsa_arithmetic_use_hint_37()14226 re_vector.ptr[i1] = tmp; in libcrux_ml_dsa_arithmetic_use_hint_37()