Type Definition libreda_pnr::db::LayerIndex[][src]

type LayerIndex = Index<LayerInfo>;

Data type used for identifying a layer.