Type Definition NetIndex
libreda_pnr::db
type NetIndex = Index<Net>;
Data type used for identifying a net.