HomeKit ESP32 Code Issue homekit/types.h No such File

In this very specific case, it can be condoned, because it shows that types.h is in one of the IDE's tabs.