input: from typing import List
  
  def double_numbers() -> List[int]:
      """Generate a list of numbers from 0 to 10, each multiplied by 2.
      >>> double_numbers()
      [0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20]
      """
output:     return [i * 2 for i in range(11)]