Servo library for esp32

I’m trying to use the Adafruit MotorControl library which depends on the Servo library on an esp32.

I get an error that:

In file included from src/main.cpp:17:
.pio/libdeps/wemos_d1/Servo/src/Servo.h:79:2: error: #error "This library only supports boards with an AVR, SAM, SAMD, NRF52 or STM32F4 processor."
 #error "This library only supports boards with an AVR, SAM, SAMD, NRF52 or STM32F4 processor."

This is a similar question to this one: [SOLVED] Can't use servo library with ESP8266 in PlatformIO, but it works in Arduino IDE

However: a) I can’t see an esp32 equivalent for Servo(esp8266) and b) even putting Servo(esp8266) in libdeps fails:

lib_deps = 
   Servo(esp8266)
   adafruit/Adafruit Motor Shield V2 Library@^1.1.1
   SPI
Library Manager: Installing Servo(esp8266)
Warning! Could not find the package with 'Servo(esp8266)' requirements for your system 'darwin_x86_64'