sort_presorted.fz
sort_presorted container.sorted_array i32 post result[0] = 0, result[1] = 1, result[9999] = 9999 is arr := array i32 10000 ((i) -> i) res := arr.sort((a,b) -> a <= b) res
sort_presorted container.sorted_array i32 post result[0] = 0, result[1] = 1, result[9999] = 9999 is arr := array i32 10000 ((i) -> i) res := arr.sort((a,b) -> a <= b) res