time_int{t:time, i:int}
A relation generator. Can convert time t into integer i and vice-versa.
Examples
time_int(t:=@2026-07-04T21:15:00Z)| i |
|---|
| 1783199700000000 |
time_int(i:=1792871536809995)| t |
|---|
| 2026-10-24T20:52:16.809995+01:00 |
Builtin
Builtin
time_int{t:time, i:int}
A relation generator. Can convert time t into integer i and vice-versa.
time_int(t:=@2026-07-04T21:15:00Z)| i |
|---|
| 1783199700000000 |
time_int(i:=1792871536809995)| t |
|---|
| 2026-10-24T20:52:16.809995+01:00 |