sort_reversed.fz

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