input: 
  def reverse_list(lst: List[int]) -> List[int]:
      """
      Reverses the given list of integers.
      
      >>> reverse_list([1, 2, 3, 4, 5])
      [5, 4, 3, 2, 1]
      >>> reverse_list([])
      []
      >>> reverse_list([10])
      [10]
      """
  
output:     return lst[::-1]