pecial">;</span>

  <span class="comment">// <a class="link" href="bounded_value.html#idm37200-bb">public member functions</a></span>
  <span class="identifier">domain_type</span> <a class="link" href="bounded_value.html#idm37201-bb"><span class="identifier">value</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"