La confusione deriva da due diversi significati di "infinito" qui.
timestamp
tipi accettano valori speciali perinfinity
e-infinity
.- I tipi di intervallo hanno un concetto generale per gli intervalli senza limite inferiore/superiore. Le funzioni per verificarlo sono chiamate
lower_inf()
eupper_inf()
, ma stanno davvero testando "nessun limite" nell'intervallo. Intervalli senza limite superiore/inferiore include il valoreinfinity
/-infinity
pertimestamp
rispettivamente.
Forse quelle funzioni dovrebbero davvero essere chiamate qualcosa come lower_nobound()
e upper_nobound()
per evitare confusione...