an><span class="special">;</span>      
  <span class="keyword">typedef</span> <a class="link" href="interval_set.html" title="Class template interval_set">interval_set</a><span class="special">&lt;</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">Interval</span><span class="special">,</span> <span class="identifier">Alloc</span> <span class="special">&gt;</span>            <a name="boo