Eurydice_arr_24
typedef Eurydice_arr_24 libcrux_ml_dsa_types_MLDSASigningKey_8e;
typedef Eurydice_arr_24 libcrux_ml_dsa_ml_dsa_generic_ml_dsa_65_MLDSA65SigningKey;
Eurydice_arr_24
*libcrux_ml_dsa_types_as_ref_9b_e5(const Eurydice_arr_24 *self)
static inline Eurydice_arr_24 libcrux_ml_dsa_types_new_9b_e5(Eurydice_arr_24 value)
Eurydice_arr_24 signing_key;
Eurydice_arr_24 *signing_key,
const Eurydice_arr_24 *signing_key,
const Eurydice_arr_24 *signing_key,
const Eurydice_arr_24 *signing_key,
Eurydice_arr_24 signing_key = { .data = { 0U } };
Eurydice_arr_24 *signing_key,
const Eurydice_arr_24 *signing_key,
const Eurydice_arr_24 *signing_key,
const Eurydice_arr_24 *signing_key,
const Eurydice_arr_24 *uu____0 = libcrux_ml_dsa_types_as_ref_9b_e5(signing_key);
Eurydice_array_to_slice_shared_98(const Eurydice_arr_24 *a)
static inline Eurydice_mut_borrow_slice_u8 Eurydice_array_to_slice_mut_98(Eurydice_arr_24 *a)
typedef Eurydice_arr_24 libcrux_mldsa65_sk;