TimeLib.h or NTPClient.h

The Time library folder I have contains Time.cpp and TimeLib.h: is that the one you are refering to?

Edit: yes, for ESP32 and ESP8266