code: def rename_table(self, from_table: str, to_table: str) -> Optional[int]:
          
          if not self.table_exists(from_table):
              log.info("Skipping renaming of table " + from_table +
                       " (doesn't exist)")
              return None
          if self.table_exists(to_table):
              raise RuntimeError("Can't rename table {} to {}: destination "
                                 "already exists!".format(from_table, to_table))
          log.info("Renaming table {} to {}", from_table, to_table)
          sql = "RENAME TABLE {} TO {}".format(from_table, to_table)
          return self.db_exec_literal(sql)
docs: Renames a table. MySQL-specific.