input: from typing import List
  
  def convert_sql_to_python(connection_details: str, table_name: str, year: int) -> List:
      """ Convert a given SQL query into a Python program. The SQL query is to select
      all records from a specified table where the year of the order_date matches a 
      given year. The result should be a list of all records that satisfy the condition.
      >>> convert_sql_to_python("<connection details>", "orders", 2020)
      """
      import datetime, pyodbc
  
      # Establish a connection to the database
      conn = pyodbc.connect(connection_details)
      cursor = conn.cursor()
  
      # Get the year of the order date
      sql = f"SELECT * FROM {table_name}"
      where_clause = "WHERE YEAR(order_date) = ?"
  
      # Execute the query
      cursor.execute(sql + " " + where_clause, year)
      results = cursor.fetchall()
  
      # Close the connection
      conn.close()
  
      # Return the results
      return results
output:     import datetime, pyodbc
  
      # Establish a connection to the database
      conn = pyodbc.connect(connection_details)
      cursor = conn.cursor()
  
      # Get the year of the order date
      sql = f"SELECT * FROM {table_name}"
      where_clause = "WHERE YEAR(order_date) = ?"
  
      # Execute the query
      cursor.execute(sql + " " + where_clause, year)
      results = cursor.fetchall()
  
      # Close the connection
      conn.close()
  
      # Return the results
      return results