<span class="special">;</span>
  <span class="identifier">domain_type</span> <a class="link" href="discrete_interval.html#idp40117680-bb"><span class="identifier">upper</span></a><span class="special">(</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
  <a class="link" href="interval_bounds.html" title="Class interval_bounds">interval_bounds</a> <a class="link" href="discrete_interval.html#idp40118800-bb"><span class="identifier">bounds</span></a><span cl