La "casa costruttrice" di Arduino è il team Arduino stesso e tutto quello che offre è compreso nell'IDE
Forse questa è una libreria esterna, scritta cioè da un comune utente della scheda.
Comunque se la libreria modifica il timer, poi usando l'analogWrite sul pin collegato dovresti trovare un segnale di frequenza differente rispetto agli altri pin PWM collegati ai timer non modificati.