2.5.27. Timer

TODO. Instruction

timer.cancel op1 [timer::Cancel]
Operator 1:ref<timer>

Cancels the timer op1. This also detaches the timer from its manager, and allows it to be rescheduled subsequently.

timer.update op1 op2 [timer::Update]
Operator 1:ref<timer>
Operator 2:time

Adjusts op1‘s expiration time to op2. Raises TimerNotScheduled if the timer is not scheduled with a timer manager.