title: How to extract an array of expr from an expr_vector
body: <p>In order to use the following func_decl member c++ api: </p>
  
  <pre><code>expr operator()(unsigned n, expr const * args) const
  </code></pre>
  
  <p>I am looking for a way to transform an expr_vector in which I have all arguments to whom the function shall apply, into an array of expr. </p>
  
  <p>What is the way? Would it make sense to add </p>
  
  <pre><code>expr operator()(expr_vector &amp; args) const
  </code></pre>
  
  <p>in the c++ API ?</p>
  
  <p>BR,
  Alexandre. </p>