Eurydice_arr_dc1
Eurydice_array_to_slice_shared_204(const Eurydice_arr_dc1 *a)
libcrux_secrets_mem_requests_ct_declassify_b2(const Eurydice_arr_dc1 *val)
static inline Eurydice_dst_ref_mut_44 Eurydice_array_to_slice_mut_205(Eurydice_arr_dc1 *a)
Eurydice_arr_dc1 t0;
Eurydice_arr_dc1 t1;
Eurydice_arr_dc1 s2_as_ntt;
Eurydice_arr_dc1 t0_as_ntt;
Eurydice_arr_dc1 w0;
Eurydice_arr_dc1 commitment;
Eurydice_arr_dc1 a_x_mask;
Eurydice_arr_dc1
Eurydice_arr_dc1);
Eurydice_arr_dc1
Eurydice_arr_dc1);
Eurydice_arr_dc1 t1;