hwloc
type CpuSet = Bitmap;
A CpuSet is a Bitmap whose bits are set according to CPU physical OS indexes.
CpuSet
Bitmap