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