Searched refs:ring_element (Results 1 – 1 of 1) sorted by relevance
9395 Eurydice_slice ring_element = Eurydice_slice_subslice2( in libcrux_ml_kem_serialize_deserialize_ring_elements_reduced_33() local9402 ring_element); in libcrux_ml_kem_serialize_deserialize_ring_elements_reduced_33()12223 Eurydice_slice ring_element = Eurydice_slice_subslice2( in libcrux_ml_kem_serialize_deserialize_ring_elements_reduced_330() local12230 ring_element); in libcrux_ml_kem_serialize_deserialize_ring_elements_reduced_330()