Eurydice_arr_c5
Eurydice_array_to_subslice_shared_d46(const Eurydice_arr_c5 *a, core_ops_range_Range_87 r)
typedef struct Eurydice_arr_2c_s { Eurydice_arr_c5 data[3U]; } Eurydice_arr_2c;
Eurydice_arr_c5 out0 = { .data = { 0U } };
Eurydice_arr_c5 out1 = { .data = { 0U } };
Eurydice_arr_c5 out2 = { .data = { 0U } };
Eurydice_arr_c5 out3 = { .data = { 0U } };
Eurydice_arr_c5 fst;
Eurydice_arr_c5 snd;
Eurydice_arr_c5 thd;
Eurydice_arr_c5 f3;
static inline Eurydice_mut_borrow_slice_u8 Eurydice_array_to_slice_mut_2c(Eurydice_arr_c5 *a)
typedef struct Eurydice_arr_9c_s { Eurydice_arr_c5 data[4U]; } Eurydice_arr_9c;
Eurydice_array_to_subslice_from_mut_5f0(Eurydice_arr_c5 *a, size_t r)
typedef struct Eurydice_arr_88_s { Eurydice_arr_c5 data[1U]; } Eurydice_arr_88;
Eurydice_array_to_slice_shared_2c(const Eurydice_arr_c5 *a)
Eurydice_array_to_subslice_mut_d41(Eurydice_arr_c5 *a, core_ops_range_Range_87 r)
Eurydice_arr_c5 buffer = { .data = { 0U } };
static inline Eurydice_arr_c5 libcrux_sha3_generic_keccak_xof_zero_block_35_e90(void)
return (KRML_CLITERAL(Eurydice_arr_c5){ .data = { 0U } });
Eurydice_arr_c5 repeat_expression[1U];
memcpy(lit.buf.data, repeat_expression, (size_t)1U * sizeof (Eurydice_arr_c5));