IntervalValue: readonly [number, number]

The type of the actual values of the interval domain as tuple of the lower and upper bound