MrShi
2025-07-19 9b1a32a3df7d54d19373551a3df34970d1a6a34f
1
2
import Graph from '../../data/Graph.js';
export default function adjustEdge(graph: Graph, scale: number): void;