Programming Overview">Contract
      Programming Overview</a>).
    </p>
<p>
      For example, consider the following function <code class="computeroutput"><span class="identifier">inc</span></code>
      that increments its argument <code class="computeroutput"><span class="identifier">x</span></code>
      by <code class="computeroutput"><span class="number">1</span></code> and let's write its contract
      using code comments (see <a href="../../example/features/introduction_comments.cpp" target="_top"