[][src]Type Definition chopper_lib::chopper::header_graph::PinId

type PinId = usize;