Transitional measure until all are converted to RelativeTimeRecord
See TimeMath comment for an explanation of the representation
during this transition. After the transition, RelativeTime will simplify
to the current definition of RelativeTimeRecord, which will itself
be deleted. All RelativeTimes will then be labeled by TimerBrands.
Deprecated
use RelativeTimeRecord
Transitional measure until all are converted to RelativeTimeRecord See
TimeMathcomment for an explanation of the representation during this transition. After the transition,RelativeTimewill simplify to the current definition ofRelativeTimeRecord, which will itself be deleted. All RelativeTimes will then be labeled by TimerBrands.