2021-06-09 21:08:06 +00:00
|
|
|
version 1 .
|
|
|
|
|
2023-02-06 14:36:17 +00:00
|
|
|
SetTimer = <set-timer @label any @seconds double @kind TimerKind>.
|
|
|
|
TimerExpired = <timer-expired @label any @seconds double>.
|
2021-06-09 21:08:06 +00:00
|
|
|
TimerKind = =relative / =absolute / =clear .
|
|
|
|
|
2023-02-06 14:36:17 +00:00
|
|
|
LaterThan = <later-than @seconds double>.
|