intervals: allow the use of the continuous_interval() type everywhere in the code to indicate the prerequisite that the interval must be continuous
intervals: allow the use of the continuous_interval() type everywhere in the code to indicate the prerequisite that the interval must be continuous
seyyed/scalaris,digshock/scalaris,digshock/scalaris,tectronics/scalaris,seyyed/scalaris,tectronics/scalaris,digshock/scalaris,seyyed/scalaris,tectronics/scalaris,seyyed/scalaris,tectronics/scalaris,digshock/scalaris,tectronics/scalaris,digshock/scalaris,tectronics/scalaris,digshock/scalaris,tectronics/scalaris,seyyed/scalaris,seyyed/scalaris,seyyed/scalaris,digshock/scalaris