Reverse array

|  |  |
| --- | --- |
|  | (Input:[]t where t:type).Reverse()<computes>:[]t= |
|  | for (Index -> Unused : Input, Element := Input[Input.Length - Index - 1]). Element |