code: def export_to_dot(self, filename: str = 'output') -> None:
          
          with open(filename + '.dot', 'w') as output:
              output.write(self.as_dot())
docs: Export the graph to the dot file "filename.dot".