input: from urllib.parse import urlparse
  
  def parse_url(url: str):
      """ Parses the given URL and prints out the protocol, domain name, and path.
      >>> parse_url('https://www.example.com/path/to/file')
      Protocol: https
      Domain name: www.example.com
      Path: /path/to/file
      """
      parsed_url = urlparse(url)
      print('Protocol:', parsed_url.scheme)
      print('Domain name:', parsed_url.netloc)
      print('Path:', parsed_url.path)
output:     parsed_url = urlparse(url)
      print('Protocol:', parsed_url.scheme)
      print('Domain name:', parsed_url.netloc)
      print('Path:', parsed_url.path)