Transitional measure until all are converted to TimestampRecord.
See TimeMath comment for an explanation of the representation
during this transition. After the transition, Timestamp will simplify
to the current definition of TimestampRecord, which will itself
be deleted. All Timestamps will then be labeled by TimerBrands.
Deprecated
use TimestampRecord
Transitional measure until all are converted to TimestampRecord. See
TimeMath
comment for an explanation of the representation during this transition. After the transition,Timestamp
will simplify to the current definition ofTimestampRecord
, which will itself be deleted. All Timestamps will then be labeled by TimerBrands.