import { Result } from'../router.js';
/**
* Plots the graph of the result to a dot file.
* @paramresult - The result object to plot.
* @paramfilePath - The path where the dot file will be saved.
*/exportdeclareconstplotGraphToDotFile: (result: Result, filePath: string) =>void;