input: from typing import List
  
  def reverse_list(lst: List[int]) -> List[int]:
      """ Reverse the given list.
      >>> reverse_list([1, 2, 3, 4, 5])
      [5, 4, 3, 2, 1]
      >>> reverse_list([])
      []
      >>> reverse_list([1])
      [1]
      """
output:     return lst[::-1]