ass="special">(</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>

  <span class="comment">// <a class="link" href="discrete_interval.html#idp40129344-bb">public static functions</a></span>
  <span class="keyword">static</span> <a class="link" href="discrete_interval.html" title="Class template discrete_interval">discrete_interval</a> <a class="link" href="discrete_interval.html#idp40129904-bb"><span class="identifier">open</span></a><span class="special">