Type Definition libreda_db::netlist::rc_netlist::rc_netlist::NetIndex[][src]

type NetIndex = Index<Net>;

Data type used for identifying a net.