Previous Up Next

_rfltimer
Define the callback function of a timer. This is really the timer function : it will be evaluated periodically.

Timer _rfltimer (
Timer _timer_
fun [Timer u0] u1 _callback_
u0 _user_
)
Parameters

_timer_
any timer
_callback_
callback function
_user_
user parameter
Return value

return the timer