提交

MrShi

2025-07-07 b3371200de695e0e3e20c2d0f4fdcb309c6ce96a

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