Where can I find the definition of the set_timer_1hz function?

[daanklijn]

Hey there 👋

I was looking through the concurrency section and noticed the set_timer_1hz function being used there to setup a timer. I am guessing that this function just abstracts away some boilerplate to setup the timer, that would otherwise bloat the documentation. However, I have not found any piece of code in the book, that shows how to set such a timer up. Would it be an idea to eather point to such an example, or provide the definition in the in the concurrency section?