2.5.14. Interval

TODO.

2.5.14.1. Instruction

target = interval.add op1 op2 [interval::Add]
Target:interval
Operator 1:interval
Operator 2:interval

Adds intervals op1 and op2.

target = interval.as_double op1 [interval::AsDouble]
Target:double
Operator 1:interval

Returns op1 in seconds, rounded down to the nearest value that can be represented as a double.

target = interval.as_int op1 [interval::AsInt]
Target:int<64>
Operator 1:interval

Returns op1‘ in seconds, rounded down to the nearest integer.

target = interval.eq op1 op2 [interval::Eq]
Target:bool
Operator 1:interval
Operator 2:interval

Returns True if the interval represented by op1 equals that of op2.

target = interval.from_double op1 [interval::FromDouble]
Target:interval
Operator 1:double

Converts the double op1 into a interval value, interpreting it as representing seconds.

target = interval.geq op1 op2 [interval::Geq]
Target:bool
Operator 1:interval
Operator 2:interval

Returns True if the interval represented by op1 is larger or the same than that of op2.

target = interval.gt op1 op2 [interval::Gt]
Target:bool
Operator 1:interval
Operator 2:interval

Returns True if the interval represented by op1 is larger than that of op2.

target = interval.leq op1 op2 [interval::Leq]
Target:bool
Operator 1:interval
Operator 2:interval

Returns True if the interval represented by op1 is shorter or the same than that of op2.

target = interval.lt op1 op2 [interval::Lt]
Target:bool
Operator 1:interval
Operator 2:interval

Returns True if the interval represented by op1 is shorter than that of op2.

target = interval.mul op1 op2 [interval::Mul]
Target:interval
Operator 1:interval
Operator 2:int<64>

Subtracts interval op2 to the interval op1

target = interval.nsecs op1 [interval::Nsecs]
Target:int<64>
Operator 1:interval

Returns the interval op1 as nanoseconds since the epoch.

target = interval.sub op1 op2 [interval::Sub]
Target:interval
Operator 1:interval
Operator 2:interval

Subtracts interval op2 to the interval op1