Eurydice_arr_e2
typedef Eurydice_arr_e2 libcrux_ml_dsa_types_MLDSASigningKey_b8;
typedef Eurydice_arr_e2 libcrux_ml_dsa_ml_dsa_generic_ml_dsa_87_MLDSA87SigningKey;
Eurydice_arr_e2
*libcrux_ml_dsa_types_as_ref_9b_72(const Eurydice_arr_e2 *self)
static inline Eurydice_arr_e2 libcrux_ml_dsa_types_new_9b_72(Eurydice_arr_e2 value)
Eurydice_arr_e2 signing_key;
Eurydice_arr_e2 *signing_key,
const Eurydice_arr_e2 *signing_key,
const Eurydice_arr_e2 *signing_key,
const Eurydice_arr_e2 *signing_key,
Eurydice_array_to_slice_shared_f7(const Eurydice_arr_e2 *a)
Eurydice_arr_e2 signing_key = { .data = { 0U } };
const Eurydice_arr_e2 *signing_key,
const Eurydice_arr_e2 *signing_key,
const Eurydice_arr_e2 *signing_key,
const Eurydice_arr_e2 *uu____0 = libcrux_ml_dsa_types_as_ref_9b_72(signing_key);
static inline Eurydice_mut_borrow_slice_u8 Eurydice_array_to_slice_mut_f7(Eurydice_arr_e2 *a)
typedef Eurydice_arr_e2 libcrux_mldsa87_sk;