2.5.26. Time¶
TODO.
2.5.26.1. Instruction¶

target =
time.add
op1 op2
[time::Add]
¶ Target: time Operator 1: time Operator 2: interval Adds interval op2 to the time op1

target =
time.as_double
op1
[time::AsDouble]
¶ Target: double Operator 1: time Returns op1 in seconds since the epoch, rounded down to the nearest value that can be represented as a double.

target =
time.as_int
op1
[time::AsInt]
¶ Target: int<64> Operator 1: time Returns op1‘ in seconds since the epoch, rounded down to the nearest integer.

target =
time.eq
op1 op2
[time::Eq]
¶ Target: bool Operator 1: time Operator 2: time Returns True if the time represented by op1 equals that of op2.

target =
time.from_double
op1
[time::FromDouble]
¶ Target: time Operator 1: double Converts the double op1 into a time value, interpreting it as seconds since the epoch.

target =
time.geq
op1 op2
[time::Geq]
¶ Target: bool Operator 1: time Operator 2: time Returns True if the time represented by op1 is later or the same than op2.

target =
time.gt
op1 op2
[time::Gt]
¶ Target: bool Operator 1: time Operator 2: time Returns True if the time represented by op1 is later than that of op2.

target =
time.leq
op1 op2
[time::Leq]
¶ Target: bool Operator 1: time Operator 2: time Returns True if the time represented by op1 is earlier or the same than op2.

target =
time.lt
op1 op2
[time::Lt]
¶ Target: bool Operator 1: time Operator 2: time Returns True if the time represented by op1 is earlier than that of op2.

target =
time.nsecs
op1
[time::Nsecs]
¶ Target: int<64> Operator 1: time Returns the time op1 as nanoseconds since the epoch.

target =
time.sub
op1 op2
[time::SubTime]
¶ Target: interval Operator 1: time Operator 2: time Subtracts time op2 from the time op1

time.wall
target
[time::Wall]
¶ Target: time Returns the current wall time (i.e., realtime). Note that the resolution of the returned value is OS dependent.