original_docstring: A method to process a HTML document to extract the *title*.
  
      Parameters
      ----------
      html_doc:
          HTML document to be processed.
  
      Returns
      -------
      str
          The title extracted from the HTML document
      
docstring: A method to process a HTML document to extract the *title*.
  Parameters
  
  HTML document to be processed.
  
  Returns
  
  str
  The title extracted from the HTML document
docstring_tokens: A method to process a HTML document to extract the * title * . Parameters HTML document to be processed . Returns str The title extracted from the HTML document
code: def extract_title(html_doc):
      """A method to process a HTML document to extract the *title*.
  
      Parameters
      ----------
      html_doc:
          HTML document to be processed.
  
      Returns
      -------
      str
          The title extracted from the HTML document
      """
      return re.search(
          '(?<=<title>).+?(?=</title>)',
          html_doc,
          re.DOTALL
      ).group().strip()
code_tokens: def extract_title ( html_doc ) : return re . search ( '(?<=<title>).+?(?=</title>)' , html_doc , re . DOTALL ) . group ( ) . strip ( )
short_docstring: A method to process a HTML document to extract the *title*.
short_docstring_tokens: A method to process a HTML document to extract the * title * .
comment: """A method to process a HTML document to extract the *title*.
  
      Parameters
      ----------
      html_doc:
          HTML document to be processed.
  
      Returns
      -------
      str
          The title extracted from the HTML document
      """