zhangjian
2023-06-05 3bc7faf3efd9d73cfa1726a553833872881dba3f
1
2
import Graph from '../../data/Graph.js';
export default function adjustEdge(graph: Graph, scale: number): void;