优化：流媒体

liusuyi

2024-07-12 d89e0182ad825d0926f4bc98e87d3b966056aac7

1
2
3
import { GeoJSONRegion } from './Region.js';
import { GeoJSONCompressed, GeoJSON } from './geoTypes.js';
export default function parseGeoJSON(geoJson: GeoJSON | GeoJSONCompressed, nameProperty: string): GeoJSONRegion[];