Searched refs:libcrux_ml_kem_vector_portable_serialize_deserialize_12 (Results 1 – 1 of 1) sorted by relevance
7993 libcrux_ml_kem_vector_portable_serialize_deserialize_12(Eurydice_slice bytes) { in libcrux_ml_kem_vector_portable_serialize_deserialize_12() function8040 return libcrux_ml_kem_vector_portable_serialize_deserialize_12(a); in libcrux_ml_kem_vector_portable_deserialize_12_0d()