Eurydice_arr_c10
Eurydice_arr_c10 A;
Eurydice_arr_c10 *A_transpose,
Eurydice_arr_c10 *uu____0 = &unpacked_public_key->A;
const Eurydice_arr_c10 *a_as_ntt,
const Eurydice_arr_c10 *matrix,
const Eurydice_arr_c10 *matrix_A,
Eurydice_arr_c10 *uu____1 = &public_key->A;
static inline Eurydice_arr_c10
libcrux_ml_kem_ind_cca_unpacked_transpose_a_68(Eurydice_arr_c10 ind_cpa_a)
Eurydice_arr_c10 arr_struct;
Eurydice_arr_c10 A = arr_struct;
Eurydice_arr_c10
Eurydice_arr_c10)
Eurydice_arr_c10 *uu____2 = &unpacked_public_key->ind_cpa_public_key.A;