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