Idris2Doc : Node.Timers

Node.Timers

(source)
Reexports
import public Node.Timers.Immediate
import public Node.Timers.Static
import public Node.Timers.Timeout