提交

MrShi

2025-07-04 82d483406921aa92b6ce3a1af5d17d80ccb78256

1
2
import Graph from '../../data/Graph.js';
export default function adjustEdge(graph: Graph, scale: number): void;