Searched refs:uu____2 (Results 1 – 1 of 1) sorted by relevance
8989 uu____2 = in libcrux_ml_kem_types_unpack_private_key_64() local8994 Eurydice_borrow_slice_u8 ind_cpa_public_key_hash = uu____2.fst; in libcrux_ml_kem_types_unpack_private_key_64()8995 Eurydice_borrow_slice_u8 implicit_rejection_value = uu____2.snd; in libcrux_ml_kem_types_unpack_private_key_64()10209 size_t uu____2 = (size_t)9U * i0 + (size_t)6U; in libcrux_ml_dsa_simd_portable_encoding_gamma1_serialize_when_gamma1_is_2_pow_17() local10210 serialized.ptr[uu____2] = in libcrux_ml_dsa_simd_portable_encoding_gamma1_serialize_when_gamma1_is_2_pow_17()10211 … (uint32_t)serialized.ptr[uu____2] | (uint32_t)(uint8_t)(int32_t)((uint32_t)coefficient3 << 6U); in libcrux_ml_dsa_simd_portable_encoding_gamma1_serialize_when_gamma1_is_2_pow_17()14551 core_result_Result_41 uu____2; in libcrux_ml_dsa_encoding_signature_deserialize_37() local14554 uu____2 = in libcrux_ml_dsa_encoding_signature_deserialize_37()14564 uu____2 = (KRML_CLITERAL(core_result_Result_41){ .tag = core_result_Ok }); in libcrux_ml_dsa_encoding_signature_deserialize_37()14566 return uu____2; in libcrux_ml_dsa_encoding_signature_deserialize_37()[all …]