Searched refs:Eurydice_array_eq_slice (Results 1 – 1 of 1) sorted by relevance
262 #define Eurydice_array_eq_slice(sz, a1, s2, t, _) \ macro10543 return Eurydice_array_eq_slice((size_t)32U, t, &expected, uint8_t, bool); in libcrux_ml_kem_ind_cca_validate_private_key_only_d6()