One half-open health interval for a satellite identity.
from is inclusive and to is exclusive. The final interval in a timeline
has to: nil unless an :as_of option was provided to close it.
Summary
Types
@type state() :: :healthy | :degraded | :unhealthy | :unknown
@type t() :: %Orbis.GNSS.Constellation.HealthInterval{ from: NaiveDateTime.t(), prn: pos_integer(), record: Orbis.GNSS.Constellation.Record.t(), source: map(), sp3_id: String.t(), state: state(), system: :gps, to: NaiveDateTime.t() | nil }