Type Definition LayerIndex
libreda_pnr::db
type LayerIndex = Index<LayerInfo>;
Data type used for identifying a layer.