ded_domain_type</span><span class="special">;</span>

  <span class="comment">// <a class="link" href="discrete_interval.html#boost.icl.discrete_intervalconstruct-copy-destruct">construct/copy/destruct</a></span>
  <a class="link" href="discrete_interval.html#idp40120208-bb"><span class="identifier">discrete_interval</span></a><span class="special">(</span><span class="special">)</span><span class="special">;</span>
  <span class="keyword">explicit</span> <a class="link" href="discrete_interval.html#idp4012