Eurydice_arr_10
typedef Eurydice_arr_10 libcrux_ml_dsa_types_MLDSASigningKey_11;
typedef Eurydice_arr_10 libcrux_ml_dsa_ml_dsa_generic_ml_dsa_44_MLDSA44SigningKey;
Eurydice_arr_10
*libcrux_ml_dsa_types_as_ref_9b_ab(const Eurydice_arr_10 *self)
static inline Eurydice_arr_10 libcrux_ml_dsa_types_new_9b_ab(Eurydice_arr_10 value)
Eurydice_arr_10 signing_key;
Eurydice_arr_10 *signing_key,
const Eurydice_arr_10 *signing_key,
const Eurydice_arr_10 *signing_key,
const Eurydice_arr_10 *signing_key,
Eurydice_arr_10 signing_key = { .data = { 0U } };
const Eurydice_arr_10 *signing_key,
const Eurydice_arr_10 *signing_key,
const Eurydice_arr_10 *signing_key,
const Eurydice_arr_10 *uu____0 = libcrux_ml_dsa_types_as_ref_9b_ab(signing_key);
Eurydice_array_to_slice_shared_34(const Eurydice_arr_10 *a)
typedef Eurydice_arr_10 libcrux_mldsa44_sk;
static inline Eurydice_mut_borrow_slice_u8 Eurydice_array_to_slice_mut_34(Eurydice_arr_10 *a)