The inclusive time is the compilation + run time. As compilation includes type-inference, inclusive - exclusive is the total type-inference time. “Compilation time” would include the codegen/LLVM time, and that’s not measured by inclusive - exclusive.