<li class="listitem">
<p>A function object <code class="computeroutput">f</code> is
      <span class="emphasis"><em>compatible</em></span> if for the given set of argument
      types <code class="computeroutput">Arg1</code>,
      <code class="computeroutput">Arg2</code>, ...,
      <code class="computeroutput">ArgN</code> and a
      return type <code class="computeroutput">ResultType</code>, the
      appropriate following function is well-formed:
</p>
<pre class="programlisting">
  <span class="emphasi