Eurydice_arr_0c
typedef Eurydice_arr_0c libcrux_ml_dsa_ml_dsa_generic_ml_dsa_65_MLDSA65Signature;
Eurydice_arr_0c
*libcrux_ml_dsa_types_as_ref_c5_5c(const Eurydice_arr_0c *self)
Eurydice_arr_0c case_Ok;
static inline Eurydice_arr_0c libcrux_ml_dsa_types_zero_c5_5c(void)
return (KRML_CLITERAL(Eurydice_arr_0c){ .data = { 0U } });
Eurydice_arr_0c *signature
Eurydice_arr_0c *signature
Eurydice_arr_0c signature = libcrux_ml_dsa_types_zero_c5_5c();
Eurydice_arr_0c *signature
Eurydice_arr_0c *signature
Eurydice_arr_0c signature = libcrux_ml_dsa_types_zero_c5_5c();
const Eurydice_arr_0c *signature_serialized
const Eurydice_arr_0c *signature_serialized
const Eurydice_arr_0c *signature
const Eurydice_arr_0c *signature_serialized
const Eurydice_arr_0c *signature
Eurydice_arr_0c *signature
const Eurydice_arr_0c *signature
const Eurydice_arr_0c *signature
Eurydice_array_to_slice_shared_6b(const Eurydice_arr_0c *a)
static inline Eurydice_mut_borrow_slice_u8 Eurydice_array_to_slice_mut_6b(Eurydice_arr_0c *a)
typedef Eurydice_arr_0c libcrux_mldsa65_signature;