input: from typing import List
  
  
  def extract_youtube_titles(url: str) -> List[str]:
      """ Extract titles of all YouTube videos from a given URL.
      >>> extract_youtube_titles("https://www.youtube.com/user/Thexvid/videos")
      [
          'Title of Video 1',
          'Title of Video 2',
          'Title of Video 3'
      ]
      """
output:     import requests
      from bs4 import BeautifulSoup
  
      response = requests.get(url)
      soup = BeautifulSoup(response.text, 'html.parser')
      titles = [title.text for title in soup.find_all('a', class_='yt-simple-endpoint style-scope ytd-grid-video-renderer')]
      return titles