input: from typing import List
  
  
  def double_numbers(numbers: List[int]) -> None:
      """Print each number in the list after doubling it.
      >>> double_numbers([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10])
      0
      2
      4
      6
      8
      10
      12
      14
      16
      18
      20
      """
      for num in numbers:
          print(num * 2)
output:     for num in numbers:
          print(num * 2)