Eurydice_arr_29
typedef Eurydice_arr_29 libcrux_ml_dsa_types_MLDSAVerificationKey_c8;
typedef Eurydice_arr_29 libcrux_ml_dsa_ml_dsa_generic_ml_dsa_65_MLDSA65VerificationKey;
Eurydice_arr_29
*libcrux_ml_dsa_types_as_ref_7f_a2(const Eurydice_arr_29 *self)
static inline Eurydice_arr_29 libcrux_ml_dsa_types_new_7f_a2(Eurydice_arr_29 value)
Eurydice_arr_29 verification_key;
Eurydice_arr_29 *verification_key
const Eurydice_arr_29 *verification_key,
const Eurydice_arr_29 *verification_key_serialized,
const Eurydice_arr_29 *verification_key,
const Eurydice_arr_29 *verification_key_serialized,
const Eurydice_arr_29 *verification_key,
Eurydice_arr_29 verification_key = { .data = { 0U } };
Eurydice_arr_29 *verification_key
const Eurydice_arr_29 *verification_key,
const Eurydice_arr_29 *verification_key,
const Eurydice_arr_29 *uu____0 = libcrux_ml_dsa_types_as_ref_7f_a2(verification_key);
Eurydice_array_to_slice_shared_37(const Eurydice_arr_29 *a)
static inline Eurydice_mut_borrow_slice_u8 Eurydice_array_to_slice_mut_37(Eurydice_arr_29 *a)
typedef Eurydice_arr_29 libcrux_mldsa65_pk;