linwenling
2023-08-07 f4712176c562694c9b5fa1750cd0eb7733c6bbab
1
2
import Graph from '../../data/Graph.js';
export default function adjustEdge(graph: Graph, scale: number): void;