Type Definition CircuitIndex
libreda_pnr::db
type CircuitIndex = Index<Circuit>;
Data type used for identifying a circuit.