lass="special">&gt;</span> <span class="special">{</span>
  <span class="comment">// types</span>
  <span class="keyword">typedef</span> <span class="identifier">is_continuous_interval</span><span class="special">&lt;</span> <a class="link" href="continuous_interval.html" title="Class template continuous_interval">continuous_interval</a><span class="special">&lt;</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">Compare</span> <span class="special">&gt;</s