lt;</span> <span class="identifier">Type</span> <span class="special">&gt;</span><span class="special">&gt;</span> <span class="special">{</span>
  <span class="comment">// types</span>
  <span class="keyword">typedef</span> <a class="link" href="interval_traits.html" title="Struct template interval_traits">interval_traits</a><span class="special">&lt;</span> <span class="identifier">Type</span> <span class="special">&gt;</span><span class="special">::</span><span class="identifier">domain_type</span> <a na