The Reverse(L) function reverses the order of the elements in list L.

Note: Within a procedure, it is likely that using negative indices is more efficient than creating a new list with elements that are reversed. Therefore, procedure Reverse should only be used for modifying lists that need to be returned in reverse order.