判断列表为空

zhangjian

2023-08-07 6b009b0f6d3ef3aee97c362cebcd679d1b9088a3

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