¿Por qué no compila?

Si he estado mirando. La solución esta en usar la librería timerServo2. Pero no encuentro su sintaxis ni información acerca de ésta en Arduino.

¿Alguien sabe ésto?

Un saludo y gracias por su atención!