Allora ci sono riuscito, in pratica io avevo istallato arduino da terminale , e includendo la libreria non andava.
Ora ho scaricato la versione dal sito , e aprendo l'ide (che è una verione portable) riesce a leggere il secTimer.h e spunta pure la voce secTimer->secTimerled
Ora vorrei fare una funzione che mi scandisca il tempo,
in gg:hh:mm:ss