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

type CircuitIndex = Index<Circuit>;

Data type used for identifying a circuit.