Eurydice_arr_fa0
Eurydice_array_to_slice_shared_b5(const Eurydice_arr_fa0 *a)
typedef struct Eurydice_arr_fd_s { Eurydice_arr_fa0 data[3U]; } Eurydice_arr_fd;
Eurydice_array_to_subslice_mut_d412(Eurydice_arr_fa0 *a, core_ops_range_Range_87 r)
const Eurydice_arr_fa0 *prf_input,
Eurydice_arr_fa0 repeat_expression[3U];
Eurydice_arr_fa0);
memcpy(prf_inputs.data, repeat_expression, (size_t)3U * sizeof (Eurydice_arr_fa0));
const Eurydice_arr_fa0 *prf_input,
Eurydice_arr_fa0 repeat_expression[3U];
Eurydice_arr_fa0);
memcpy(prf_inputs.data, repeat_expression, (size_t)3U * sizeof (Eurydice_arr_fa0));
Eurydice_arr_fa0 prf_input = libcrux_ml_kem_utils_into_padded_array_29(randomness);
Eurydice_arr_fa0 seed = { .data = { 0U } };
Eurydice_arr_fa0
static KRML_MUSTINLINE Eurydice_arr_fa0
Eurydice_arr_fa0 out = { .data = { 0U } };