| 
									
										
										
										
											2023-03-23 01:42:47 +01:00
										 |  |  | import { Feature, Geometry } from "geojson" | 
					
						
							| 
									
										
										
										
											2022-07-13 17:56:10 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-09-03 14:48:38 +02:00
										 |  |  | export type RelationId = `relation/${number}` | 
					
						
							|  |  |  | export type WayId = `way/${number}` | 
					
						
							|  |  |  | export type NodeId = `node/${number}` | 
					
						
							|  |  |  | export type OsmId = NodeId | WayId | RelationId | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-08-24 02:28:41 +02:00
										 |  |  | export type OsmTags = Record<string, string> & { id: string } | 
					
						
							| 
									
										
										
										
											2022-07-13 17:56:10 +02:00
										 |  |  | export type OsmFeature = Feature<Geometry, OsmTags> |