Searched refs:ring_element (Results 1 – 1 of 1) sorted by relevance
8184 Eurydice_slice ring_element = Eurydice_slice_subslice3( in libcrux_ml_kem_serialize_deserialize_ring_elements_reduced_1b() local8191 ring_element); in libcrux_ml_kem_serialize_deserialize_ring_elements_reduced_1b()