itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem"><p>
                      If <code class="computeroutput">T</code> if of the form
                      <code class="computeroutput">O(A<sub>0</sub>,&#8230;A<sub>n</sub>)</code>, then let <code class="computeroutput">O'</code>
                      be <code class="computeroutput">boost::result_of&lt;<a class="link" href="../make.html" title="Struct template make">proto::make</a>&lt;O&gt;(Expr, State, Data)&gt;::type