s="special">,</span> 
                    <a class="link" href="discrete_interval.html" title="Class template discrete_interval">discrete_interval</a> <span class="special">*</span> <span class="special">=</span> <span class="number">0</span><span class="special">)</span><span class="special">;</span>

  <span class="comment">// <a class="link" href="discrete_interval.html#idp40113776-bb">public member functions</a></span>
  <span class="keyword">typedef</span> <a class="link" href="discrete_interval.html#i