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

type NetIndex = Index<Net>;

Data type used for identifying a net.