Searched refs:coefficient_compressed (Results 1 – 1 of 1) sorted by relevance
9188 coefficient_compressed = in libcrux_ml_kem_serialize_compress_then_serialize_message_aa() local9191 libcrux_ml_kem_vector_portable_serialize_1_0d(coefficient_compressed, in libcrux_ml_kem_serialize_compress_then_serialize_message_aa()10406 coefficient_compressed = in libcrux_ml_kem_serialize_deserialize_then_decompress_message_0d() local10412 libcrux_ml_kem_vector_traits_decompress_1_63(coefficient_compressed); in libcrux_ml_kem_serialize_deserialize_then_decompress_message_0d()