提交

MrShi

2025-07-17 bff685d98f4fd44e81bebbc857137a0bcb442606

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