Type Alias NavigationSelection

NavigationSelection:
| { ids: string[]; type: "node" }
| { ids: string[]; type: "edge" }

The set of currently selected nodes or edges of a navigation graph, as tracked by NavigationGraphController.