dotty.tools.dotc.core.Periods
The interval consisting of all periods of given run id
The period consisting of given run id, and lo/hi phase ids
The single-phase period consisting of given run id and phase id