><span class="identifier">domain_type</span><span class="special">;</span>

  <span class="comment">// <a class="link" href="interval_traits.html#idm38068-bb">public static functions</a></span>
  <span class="keyword">static</span> <span class="identifier">Type</span> <a class="link" href="interval_traits.html#idm38069-bb"><span class="identifier">construct</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">domain_type</span> <span class="special">&amp;</span