Move any_slice_from_array to kani_core #3646
+61
−48
Open
Loading