PosIntervalValue: readonly [number, number]

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