pub type LocalHardwareId = i32;Expand description
The physical local device ID, e.g., the CUDA device number. Multiple PJRT devices can have the same LocalHardwareId if these PJRT devices share the same physical device.In general, not guaranteed to be dense, and -1 if undefined.