libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_b6
libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_b6(&self->public_key, serialized);
libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_b6(public_key, serialized);